IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism

Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this chapter we present a model, IDIOM, which exploits all three forms of parallelism in a single framework. IDIOM is based on a combination of the Basic Andorra Model of Warren and the Extended And-Or Tree Model of Chapter 4. Because of the addition of the Andorra Model, IDIOM supports both Prolog as well as the flat concurrent logic languages. We discuss the issues that arise in combining the three forms of parallelism, and our solutions to them. We also present an implementation scheme, based on binding and base arrays, for implementing IDIOM.

[1]  Manuel V. Hermenegildo,et al.  The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism , 1990, ICLP.

[2]  Rong Yang,et al.  The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model , 1991, ICLP.

[3]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[4]  Ehud Shapiro,et al.  Concurrent PROLOG: Collected Papers , 1987 .

[5]  Rong Yang,et al.  The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model , 1991, ICLP.

[6]  Gopal Gupta,et al.  Optimizing And-Or Parallel Implementations , 1990, NACLP.

[7]  Manuel V. Hermenegildo,et al.  &-Prolog and its Performance: Exploiting Independent And-Parallelism , 1990, ICLP.

[8]  David H. D. Warren,et al.  The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.

[9]  Jeffrey D. Uuman.  Principles of database and knowledge- base systems , 1989 .

[10]  Philippe Robert,et al.  The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism , 1987, SLP.

[11]  Rong Yang,et al.  Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism , 1991, PPOPP '91.

[12]  Gopal Gupta,et al.  On Criteria for Or-Parallel Execution Models of Logic Programs , 1990, NACLP.

[13]  Khayri A. M. Ali,et al.  The Muse Or-Parallel Prolog Model and its Performance , 1990, NACLP.

[14]  G. L..  Collected Papers , 1912, Nature.

[15]  Jim A. Crammond.  Scheduling and Variable Assignment in the Parallel PARLOG Implementation , 1990, NACLP.

[16]  Manuel V. Hermenegildo,et al.  An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs , 1986, ICLP.

[17]  Kazunori Ueda,et al.  Guarded Horn Clauses , 1986, LP.

[18]  Saumya K. Debray,et al.  Detection and Optimization of Functional Computations in Prolog , 1986, ICLP.

[19]  Bharat Jayaraman,et al.  A Model for Combined And-Or Parallel Execution of Logic Programs , 1989, ICPP.