Logic Program Execution on Distributed Memory Parallel Computers

* Final gross prices may vary according to local VAT.

Get Access


The implicit parallelism of logic programs can be exploited by using parallel computers to support their execution. This paper describes the design and the implementation of a logic programming system on a distributed memory parallel architecture in an efficient and scalable way. This implementation is based on the AND/OR Process Model. The AND/OR processes are implemented as Occam processes, and the execution of a logic program is implemented by a tree of parallel processes located on the computing nodes of the parallel computer. A completely decentralized scheduling mechanism is used. The preliminary results show interesting scalability properties of the system.