Multi-core and highly connected architectures have become ubiquitous, and this has
brought renewed interest in language-based approaches to the exploitation of parallelism …

In this paper we present a novel execution model for parallel implementation of logic
programs which is capable of exploiting both independent and-parallelism and or …

We present the design and implementation of the and-parallel component of ACE. ACE is a
computational model for the full Prolog language that simultaneously exploits both or …

Two major problems that arise in parallel logic programming systems are:(i) redundant
computation during and-parallel execution of dependent goals, and,(ii) e cient …

We present an overview of the ACE system, a sound and complete parallel implementation
of Prolog that exploits parallelism transparently (ie, without any user intervention) from AI …

The authors present a new optimization for or-parallel logic programming (Prolog) systems,
called last alternative optimization (LAO). The LAO follows from the flattening principle and …

The goal of the ACE project is to fruitfully exploit all forms of parallelism from Prolog
programs in a single framework. Three principal forms of parallelism, namely, or-parallelism …

We consider the problem of exploiting non-deterministic dependent and-parallelism (DAP)
from Prolog programs. The main issues that arise in designing a parallel Prolog system for …

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 …

We present the design and implementation of the and-parallel component of ACE. ACE is a
computational model for the full Prolog language that simultaneously exploits both or …