Comparing two parallel logic-programming architectures

1 July 1989

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Software

Vol. 6 (4) , 71-80
https://doi.org/10.1109/52.31654

Abstract

The performances of two parallel logic-programming architectures, an OR-parallel Prolog system and an AND-parallel flat-guarded-Horn-clause system (FGHC), are compared. A description is given of how fast algorithms are developed on both OR-parallel and AND-parallel programming paradigms, as well as in both uncommitted-choice and committed-choice languages. To compare the systems, seven algorithms for solving the N-queens problem were executed, and their performances were measured on a Sequent Symmetry under the Aurora and KLIPS architectures.

Keywords

This publication has 3 references indexed in Scilit:

Design And Performance Of A Coherent Cache For Parallel Logic Programming Architectures
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
The Aurora or-parallel Prolog system
New Generation Computing, 1990
Prolog by Example
Published by Springer Nature ,1988