High-speed execution of Prolog by using supercomputers
Kanada, Y., 26th Programming Symposium, pp. 47-56, 1985.
[ 日本語のページ ]
[ Paper PDF file (in Japanese, 2 MB) ]
[No English abstract is available.]
Introduction to this research theme: Logic/Symbolic Vector Processing
Explanation: There are many research results on high-speed execution of Prolog (logic programming language) by using parallel or pipelined scalar computers. However, this paper aimed accelerating logic language execution by using so-called supercomputer, i. e., vector-type pipelined computers at the first time. This paper only showed the outline of the method, but the following research enabled acceleration for a cirtain range of programs.