Muse (Mu lti-se quential Prolog engines) is a simple and efficient approach to Or-parallel
execution of Prolog programs. It is based on having several sequential Prolog engines, each …

Logic programming languages, such as Prolog, provide a high-level, declarative approach
to programming. Logic Programming offers great potential for implicit parallelism, thus …

Most models that have been proposed, or implemented, so far for exploiting both or-
parallelism and independent and-parallelism have only considered pure logic programs …

Practical Prolog programs usually contain extra-logical features like cuts, side-effects, and
database manipulating predicates. In order to exploit implicit parallelism from real …

This paper presents a parallel execution system (PDP: Prolog Distributed Processor) for
efficiently supporting both Independent_AND OR parallelism on distributed-memory …

Realistic Prolog applications running in or-parallel typically contain much speculative work
due to pruning operators. Our findings show that a crucial factor in reducing the amount of …

PROLOG, the most popular logic programming language, has been developed for single-
processor computers. The implementations of sequential Prolog became e cient with the …

Most models that have been proposed (or implemented) so far for exploiting both or-
parallelism and independent and-parallelism have only considered pure logic programs …

Prolog has a number of advantages for use in rapid prototy**. The explotation of
parallelism holds the promise of making these prototypes directly executable. This …

This thesis adctresses the issues of design, implementation and performance evaluation of
an or-parallel Prolog system (Dorpp) on a distributed shared memory machine, namely the …