New Generation Computing

, Volume 7, Issue 2, pp 243–271

The Aurora or-parallel Prolog system

Authors

  • Ewing Lusk
    • Mathematics and Computer DivisionArgonne National Laboratory
  • Ralph Butler
    • Mathematics and Computer DivisionArgonne National Laboratory
  • Terrence Disz
    • Mathematics and Computer DivisionArgonne National Laboratory
  • Robert Olson
    • Mathematics and Computer DivisionArgonne National Laboratory
  • Ross Overbeek
    • Mathematics and Computer DivisionArgonne National Laboratory
  • Rick Stevens
    • Mathematics and Computer DivisionArgonne National Laboratory
  • David H. D. Warren
    • Department of Computer ScienceUniversity of Bristol
  • Alan Calderwood
    • Department of Computer ScienceUniversity of Bristol
  • Péter Szeredi
    • Department of Computer ScienceUniversity of Bristol
  • Seif Haridi
    • Swedish Institute of Computer Science
  • Per Brand
    • Swedish Institute of Computer Science
  • Mats Carlsson
    • Swedish Institute of Computer Science
  • Andrzej Ciepielewski
    • Swedish Institute of Computer Science
  • Bogumil Hausman
    • Swedish Institute of Computer Science
Special Issue Parallel Machine Architecture

DOI: 10.1007/BF03037208

Cite this article as:
Lusk, E., Butler, R., Disz, T. et al. NGCO (1990) 7: 243. doi:10.1007/BF03037208

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.

Keywords

Logic ProgrammingPrologParallel ComputingAutomatic Parallelization
Download to read the full article text

Copyright information

© Ohmsha, Ltd. and Springer 1990