Logic Programming Research

Incremental Exploitation of Parallelism in Logic Programming

Proceedings of the International Conference on Parallel and Distributed Computing Systems, ISCA, October 1995.

Gopal Gupta, Enrico Pontelli,

In this paper we discuss the problems encountered in exploiting all forms of parallelism - or-parallelism, independent and-parallelism, and dependent and parallelism - from Prolog programs. We also present our solutions to these problems. We describe a parallel Prolog engine that we have developed, called &ACE, that exploits independent and- parallelism. We discuss how or-parallelism and dependent and-parallelism can be incrementally incorporated in &ACE. We also present an efficient technique for exploiting data-parallelism in Prolog. We present performance figures for our parallel implementation done on a Sequent Symmetry and Sun Sparc multiprocessors.

The whole paper can be downloaded from our server.

Logic Prog. Page Research Page Lab Home Page