Change search
ReferencesLink to record
Permanent link

Direct link
The Aurora Or-Parallel Prolog system
Number of Authors: 3
1989 (English)Report (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Kista, Sweden: Swedish Institute of Computer Science , 1989, 2. , 27 p.
SICS Technical Report, ISSN 1100-3154 ; R89:07
National Category
Computer and Information Science
URN: urn:nbn:se:ri:diva-22183OAI: diva2:1041727
This report appears as a part in Mats Carlsson's Dissertation "Design and Implementation of an OR-Parallel Prolog Engine". SICS Dissertation Series 9002. RIT(KTH)TRITA-CS-9003. Original report number R89007.Available from: 2016-10-31 Created: 2016-10-31

Open Access in DiVA

fulltext(3487 kB)2 downloads
File information
File name FULLTEXT01.pdfFile size 3487 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 2 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link