Logic Program Execution on Distributed Memory Parallel Computers

  • Mario Cannataro
  • Giandomenico Spezzano
  • Domenico Talia
Conference paper

DOI: 10.1007/978-3-642-58066-6_12

Volume 103 of the book series NATO ASI Series
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

Abstract

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.

Keywords

Parallel processing logic programming distributed memory AND/OR parallelism 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Mario Cannataro
    • 1
  • Giandomenico Spezzano
    • 1
  • Domenico Talia
    • 1
  1. 1.CRAIRende (CS)Italy