Keywords Prolog, parallel multiprocessor architectures, transputers
Start Date: 01-JAN-89 / Duration: 36 months
[ contact / participants ]
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.
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.
Dr Jean-Louis Binot
B - 3078 EVERBERG
tel: + 32/ 2-7595925
fax: + 32/ 2-7594795
telex: 63518 BIMSA B
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
PEPMA - 2471, December 1993
please address enquiries to the ESPRIT Information Desk
html version of synopsis by Nick Cook