The Aurora or-parallel Prolog system

  title={The Aurora or-parallel Prolog system},
  author={Ewing L. Lusk and Ralph M. Butler and Terry Disz and Robert Olson and Ross A. Overbeek and Rick L. Stevens and David H. D. Warren and Alan Calderwood and P{\'e}ter Szeredi and Seif Haridi and Per Brand and Mats Carlsson and Andrzej Ciepielewski and Bogumil Hausman},
  journal={New Generation Computing},
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… CONTINUE READING
Highly Influential
This paper has highly influenced 28 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.
Showing 1-10 of 163 extracted citations


Publications referenced by this paper.
Showing 1-4 of 4 references

Aurora - - description of scheduler interfaces

  • A. Calderwood
  • 1988

Initial evaluation of a virtual machine for or - parallel execution of logic programs

  • A. Ciepielewski, S. Haridi, B. Hausman
  • IFIP - TCIO Working Conference on Fifth…
  • 1985

Similar Papers

Loading similar papers…