On the Duality Between Or-parallelism and And-parallelism in Logic Programming

Or-parallelism and And- parallelism have often been considered as two distinct forms of parallelism with not much in common. The purpose of this paper is to highlight the inherently dual nature of the two forms of parallelism and the similarities that exist between them. The dualities and similarities observed are then exploited for gaining new insights into the design, implementation, and optimization of and- and or-parallel systems. The ideas developed in this paper are illustrated with the help of ACE system-a parallel Prolog system incorporating both and- and or-parallelism.

[1]  Francesca Rossi,et al.  Non-Strict Independent And-Parallelism , 1990, ICLP.

[2]  Kish Shen.  Studies of and/or parallelism in Prolog , 1992 .

[3]  Gopal Gupta.  Multiprocessor Execution of Logic Programs , 1994, Springer US.

[4]  Enrico Pontelli,et al.  Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming , 1995, ICLP.

[5]  Abraham Silberschatz,et al.  A framework for the parallel processing of Datalog queries , 1990, SIGMOD '90.

[6]  Enrico Pontelli,et al.  Determinacy Driven Optimizations of And-Parallel Prolog Implementations , 1995, ICLP.

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

[8]  John S. Conery.  Parallel Execution of Logic Programs , 1987 .

[9]  Enrico Pontelli,et al.  Determinancy Driven Optimization of Parallel Prolog Implementations , 1994, Workshop on Design and Impl. of Parallel Logic Programming Systems.

[10]  Enrico Pontelli,et al.  ACE: And/Or-parallel Copying-based Execution of Logic Programs , 1994, ICLP.

[11]  Ouri Wolfson,et al.  A new paradigm for parallel and distributed rule-processing , 1990, SIGMOD '90.

[12]  J. Davenport.  Editor , 1960 .

[13]  Mats Carlsson,et al.  A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment , 1988, ICLP/SLP.

[14]  Pascal Van Hentenryck.  ACE: And/Or-parallel Copying-based Execution of Logic Programs , 1994 .

[15]  Laxmikant V. Kalé,et al.  The Reduce-Or Process Model for Parallel Execution of Logic Programs , 1991, J. Log. Program..