This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Comparing Two Parallel Logic-Programming Architectures
July/August 1989 (vol. 6 no. 4)
pp. 71-80

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.

Index Terms:
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
Citation:
Evan Tick, "Comparing Two Parallel Logic-Programming Architectures," IEEE Software, vol. 6, no. 4, pp. 71-80, July-Aug. 1989, doi:10.1109/52.31654
Usage of this product signifies your acceptance of the Terms of Use.