Issue No. 04 - July/August (1989 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.31654
<p>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.</p>
uncommitted choice languages; Aurora; KLIPS; parallel logic-programming architectures; OR-parallel Prolog system; AND-parallel flat-guarded-Horn-clause system; committed-choice languages; N-queens problem; Sequent Symmetry; Aurora; KLIPS; high level languages; logic programming; operations research; parallel programming; performance evaluation; PROLOG; storage management
E. Tick, "Comparing Two Parallel Logic-Programming Architectures," in IEEE Software, vol. 6, no. , pp. 71-80, 1989.