Logic Program Execution on Distributed Memory Parallel Computers
- Cite this paper as:
- Cannataro M., Spezzano G., Talia D. (1993) Logic Program Execution on Distributed Memory Parallel Computers. In: Özgüner F., Erçal F. (eds) Parallel Computing on Distributed Memory Multiprocessors. NATO ASI Series (Series F: Computer and Systems Sciences), vol 103. Springer, Berlin, Heidelberg
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.
KeywordsParallel processing logic programming distributed memory AND/OR parallelism
Unable to display preview. Download preview PDF.