Parallelizing logic programming has attracted much interest in the research community,
because of the intrinsic OR-and AND-parallelisms of logic programs. One research stream …

Since the early days of logic programming, researchers in the field realized the potential for
exploitation of parallelism present in the execution of logic programs. Their high-level …

We present the clp (FD) system: a constraint logic programming language with finite domain
constraints. We detail its implementation, and present an abstract instruction set for the …

From the Publisher:" Does Collective Intelligence (CI) exist and if so, how can it be
characterized quantified, and harnessed__ __ Questions such as these continue to be hotly …

Abstract The Andorra Kernel Language (AKL) is introduced. It is shown how AKL provides
the programming paradigms of both Prolog and GHC. This is the original goal of the design …

The &-Prolog system, a practical implementation of a parallel execution model for Prolog
exploiting strict and non-strict independent and-parallelism, is described. Both automatic …

This article surveys the field of implementation of concurrent logic programming languages. I
briefly review language semantics and programming paradigms, before summarizing the …

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

Aurora is a prototype or-parallel implementation of the full Prolog language for shared
memory multiprocessors, based on the SRI model of execution. It consists of a Prolog …

The Dynamic Dependent And-parallel Scheme (DDAS) is a parallel execution scheme for
Prolog that is designed to exploit independent and dependent and-parallelism in full Prolog …