IDIOM: Integrating Dependent and-, Independent and-, and Or-Parallelism

Logic Programming Research

IDIOM: Integrating Dependent and-, Independent and-,
and Or-Parallelism

In Proc. of International Logic Programming Symposium,
MIT Press, 1991, pp. 152-166

Author(s)
Gopal Gupta, Manuel Hermenegildo, Vitor Santos Costa Rong Yang

Abstract
Independent and-parallelism, dependent and-parallelism and or-parallelism are the three main forms of implicit parallelism present in logic programs. In this paper 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 and the Extended And-Or Tree Model. Our model 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 arrays, for implementing IDIOM.

The whole paper

can be downloaded from our

server.


 Logic Prog. Page   Research Page   Lab Home Page