Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Making exhaustive search programs deterministic
Proceedings on Third international conference on logic programming
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Architecture and evaluation of a reduction-based parallel inference machine: PIM-R
Proceedings of the 4th conference on Logic programming '85
-FLENG Prolog- the language which turns supercomputers into parallel Prolog machines
The 5th Conference on Logic programming '86
Parallel interpretation of logic programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
A method of vector processing for shared symbolic data
Proceedings of the 1991 ACM/IEEE conference on Supercomputing
A vectorization technique for Prolog without explosion
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
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 processors to Prolog execution and to symbol processing applications.