« Compiling Algorithms and Techniques for the S-810 Vector Processor | Main | Toward High-speed Execution of Logic Language Programs by Vector processors -- Method and performance of OR-vector-processing -- »

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.

Keywords: Logic programming language, Programming language processor, Vectorization of symbol processing, Vectorized symbol processing, Parallel symbol processing, Supercomputing, Super symbol processing, Parallel processing, Vector processing

Post a comment

About

This page contains a single entry from the blog posted on January 1, 1985 12:00 AM.

Many more can be found on the main index page or by looking through the archives.

(C) Copyright 2007 by Yasusi Kanada
Powered by
Movable Type 3.36