Parallel Execution of Prolog on Multiprocessor Architectures


PEPMA - 2471

Keywords Prolog, parallel multiprocessor architectures, transputers


Start Date: 01-JAN-89 / Duration: 36 months

[ contact / participants ]


Objectives and Approach

An existing parallel execution model for Prolog on shared memory machines is being refined and implemented with a view to industrial exploitation. In addition, the project is designing more advanced models for executing Prolog in parallel on multiprocessor architectures, focusing particularly on transputer-based hardware.

One model will implement a combination of OR-parallelism with dependent AND-parallelism via a shared virtual address space, while another model will implement OR-parallelism and possibly AND-parallelism via communicating processes. The models will be compared on the basis of how well they perform in large-scale applications.

Simulation studies will be made to investigate how the software models can best be supported by hardware, with particular reference to architectures based on the transputer or similar principles.

Finally, an extension of Prolog will be defined and implemented that further exploits the potential of these parallel models. The ultimate aim is to have a language and implementation that combines the capabilities of the three existing classes of logic programming languages.

Progress and Results

Prototypes for AND-parallelism and OR-parallelism on shared memory machines have been implemented, and a more advanced prototype including both types of parallelism is in preparation. Specification and architecture design for a data diffusion machine implementation has been performed, and a possible model on a transputer-based architecture has been explored. Improvements in "garbage" collection and the definition of a core Prolog language for parallel execution also figure among the results so far.


CONTACT POINT

Dr Jean-Louis Binot
BIM SA
Kwikstraat 4
B - 3078 EVERBERG
tel: + 32/ 2-7595925
fax: + 32/ 2-7594795
telex: 63518 BIMSA B

Participants

BIM SA - B - C
KATHOLIEKE UNIVERSITEIT LEUVEN - B - P
UNIVERSITY OF BRISTOL - UK - P
UNIVERSIDAD POLITECNICA DE MADRID - E - P
SWEDISH INSTITUTE OF COMPUTER
SCIENCE (SICS) - S - P
MEIKO SCIENTIFIC LTD - UK - P


ST synopses home page ST acronym index ST number index
All synopses home page all acronyms index all numbers index

PEPMA - 2471, December 1993


please address enquiries to the ESPRIT Information Desk

html version of synopsis by Nick Cook