|
| 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
| ASCII Text | x | ||
| Evan Tick, "Comparing Two Parallel Logic-Programming Architectures," IEEE Software, vol. 6, no. 4, pp. 71-80, July/August, 1989. | |||
| BibTex | x | ||
| @article{ 10.1109/52.31654, author = {Evan Tick}, title = {Comparing Two Parallel Logic-Programming Architectures}, journal ={IEEE Software}, volume = {6}, number = {4}, issn = {0740-7459}, year = {1989}, pages = {71-80}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.31654}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Comparing Two Parallel Logic-Programming Architectures IS - 4 SN - 0740-7459 SP71 EP80 EPD - 71-80 A1 - Evan Tick, PY - 1989 KW - 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 VL - 6 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.31654
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.