« April 1989 | Main | January 1990 »

July 1989 Archives

Kanada, Y., and Sugaya, M., International Joint Conference on Artificial Intelligence '89, pp. 151-156, 1989.

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

Abstract: This paper describes a technique for executing logic programming languages such as Prolog for the Cray-type vector processors. This technique, which we call the parallel backtracking technique, enables a kind of or-parallel execution without process explosion. The compiled intermediate language code for the parallel backtracking execution is the same as the code presented in our previous paper. The compilation is based on a kind of program transformation called or-vectorization. However, the interpretation of the intermediate code is changed to enable the parallel backtracking execution. An execution simulator and a compiler prototype were developed. We have not yet implemented this technique to our native code execution system, but we expect a performance of eight times or more higher than scalar processing upon implementation.

[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

Kanada, Y., and Sugaya, M., Journal of Information Processing Society of Japan, Vol. 30, No. 7, 856-868, 1989.

[ 日本語のページ ]
[ No English abstract is available. ]
[ No English abstract is available. ]

Introduction to this research theme: Logic/Symbolic Vector Processing

Keywords: Program transformation, Vectorization of symbol processing, Vectorized symbol processing, Parallel symbol processing, Supercomputing, Super symbol processing, Parallel processing, Vector processing, Programming language processor, N queens problem

Last: April 1989

Next: January 1990

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