Submitted Presentations

PARLE '91 Parallel Architectures and Languages Europe

Volume 506 of the series Lecture Notes in Computer Science pp 439-453


Interfacing engines and schedulers in Or-Parallel Prolog systems

  • Péter SzerediAffiliated withDepartment of Computer Science, University of Bristol
  • , Rong YangAffiliated withDepartment of Computer Science, University of Bristol
  • , Mats CarlssonAffiliated withSwedish Institute of Computer Science

* Final gross prices may vary according to local VAT.

Get Access


Parallel Prolog systems consist, at least conceptually, of two components: an engine and a scheduler. This paper addresses the problem of defining a clean interface between these components. Such an interface has been designed for Aurora, a prototype or-parallel implementation of the full Prolog language for shared memory multiprocessors.

The practical purpose of the interface is to enable different engine and scheduler implementations to be used interchangeably. The development of the interface has, however, contributed in great extent to the clarification of issues in exploiting or-parallelism in Prolog. We believe that these issues are relevant to a wider circle of research in the area of or-parallel implementations of logic programming.

We believe that the concept of an engine-scheduler interface is applicable to a wider range of parallel Prolog implementations. Indeed, the present interface has been used in the Andorra-I system, which supports both and- and or-parallelism.


Or-Parallel Execution Multiprocessors Implementation Techniques Scheduling