Open AccessThe Aurora or-parallel Prolog system
Author(s) -
Ewing Lusk,
Ralph Butler,
T. Disz,
Robert Olson,
Ross Overbeek,
Rick Stevens,
David H. Warren,
Alan Calderwood,
Péter Szeredi,
Seif Haridi,
Per Brand,
Mats Carlsson,
Andrzej Ciepielewski,
Bogumił Hausman
Publication year - 1990
Publication title -
new generation computing
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.277
H-Index - 27
eISSN - 1882-7055
pISSN - 0288-3635
DOI - 10.1007/bf03037208
Subject(s) - prolog , computer science , programming language , sequent , multiprocessing , parallel computing , range (aeronautics) , materials science , composite material
Aurora is a prototype or-parallel implementation of the full Prolog language for shared-memory multiprocessors, developed as part of an informal research collaboration known as the “Gigalips Project”. It currently runs on Sequent and Encore machines. It has been constructed by adapting Sicstus Prolog, a fast, portable, sequential Prolog system. The techniques for constructing a portable multiprocessor version follow those pioneered in a predecessor system, ANL-WAM. The SRI model was adopted as the means to extend the Sicstus Prolog engine for or-parallel operation. We describe the design and main implementation features of the current Aurora system, and present some experimental results. For a range of benchmarks, Aurora on a 20-processor Sequent Symmetry is 4 to 7 times faster than Quintus Prolog on a Sun 3/75. Good performance is also reported on some large-scale Prolog applications.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom