Paper Info
Title
The Aurora or-parallel Prolog system
Abstract
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.
Year
DOI
Venue
1990
10.1007/BF03037208
New Generation Computing
Keywords
Field
DocType
prolog,logic programming,parallel computing,automatic parallel- ization.,aurora or-parallel prolog system,data processing,programming language,parallel processing,memory management
Computer architecture,Uniform memory access,Shared memory,Computer science,Parallel computing,Distributed memory,Prolog,Distributed shared memory
Journal
Volume
Issue
ISSN
7
2-3
0288-3635
Citations 
PageRank 
References 
177
9.23
19
Authors
14
Search Limit
100177
Name
Order
Citations
PageRank
Ewing L. Lusk13080472.23
Ralph M. Butler218811.39
Terry Disz340728.23
Robert Olson450838.89
Ross A. Overbeek528138.97
Rick L. Stevens61327135.40
Rick L. Stevens71327135.40
David H. D. Warren81445457.53
Alan Calderwood920011.14
Péter Szeredi101779.23
Seif Haridi111849151.03
Per Brand121799.64
Mats Carlsson1397579.24
Andrzej Ciepielewski1429324.91