A vectorization technique for Prolog without explosion

Authors:
Yasusi Kanada;Masahiro Sugaya
Affiliations:
Center for Machine Translation, Carnegie-Mellon University, Pittsburgh, PA and Central Research Laboratory, Hitachi Ltd., Kokubunji, Tokyo, Japan;Central Research Laboratory, Hitachi Ltd., Kokubunji, Tokyo, Japan
Venue:
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Year:
1989

Citing 2
Cited 0

-FLENG Prolog- the language which turns supercomputers into parallel Prolog machines

The 5th Conference on Logic programming '86
Vectorization techniques for prolog

ICS '88 Proceedings of the 2nd international conference on Supercomputing

Quantified Score

Hi-index	0.00

Visualization

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.