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
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.
KeywordsOr-Parallel Execution Multiprocessors Implementation Techniques Scheduling
- Interfacing engines and schedulers in Or-Parallel Prolog systems
- Book Title
- PARLE '91 Parallel Architectures and Languages Europe
- Book Subtitle
- Volume II: Parallel Languages Eindhoven, The Netherlands, June 10–13, 1991 Proceedings
- pp 439-453
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Additional Links
- Or-Parallel Execution
- Implementation Techniques
- Industry Sectors
- eBook Packages
To view the rest of this content please follow the download PDF link above.