Logic Programming Research
Incremental Exploitation of Parallelism in Logic Programming
Proceedings of the International Conference on Parallel and
Distributed Computing Systems, ISCA, October 1995.
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-
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
Logic Prog. Page Research Page Lab Home Page