Incremental Exploitation of Parallelism

Logic Programming Research

Incremental Exploitation of Parallelism in Logic Programming

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

Author(s)
Gopal Gupta, Enrico Pontelli,

Abstract
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