« Accelerating Non-Numerical Processing by an Extended Vector Processor | Main | A Vector-Processor-Oriented Schema for Solving Searching Problems: Parallel Backtracking Schema »

Vectorization Techniques for Prolog

Kanada, Y., Kojima, K., and Sugaya, M., ACM International Conference on Supercomputing, pp. 539-549, St. Malo, 1988.

[ 日本語のページ ]
[ Paper PDF file ]

Abstract: Several techniques for running Prolog programs on pipelined vector processors, such as the Hitachi S-820 or the Cray-2, are developed. This paper presents an automatic program transformation (vectorization) method of Prolog, which enables a type of or-parallel execution of Prolog programs using vector operations. Performance is evaluated on the Hitachi S-810 using the Eight-Queens Problem. Its vector execution speed is 4.5 MLIPS (18 ms). This is eight or nine times faster than scalar execution. This result confirms the effectiveness of vectorization techniques and applicability of vector prodcessors to Prolog execution and symbol processing applications.

[No English abstract is available.]

Introduction to this research theme: Logic/Symbolic Vector Processing

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


This page contains a single entry from the blog posted on August 1, 1988 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