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 …

This is the Reference Manual for the Ciao Prolog development system. It contains basic
information on how to install Ciao Prolog and how to write, debug, and run Ciao Prolog …

CIAO is an advanced programming environment supporting Logic and Constraint
programming. It offers a simple concurrent kernel on top of which declarative and non …

Abstract Concurrency in Logic Programming has received much attention in the past. One
problem with many proposals, when applied to Prolog, is that they in-volve large …

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

We discuss from a practical point of view a number of issues involved in writing distributed
Internet and WWW applications using LP/CLP systems. We describe PiLLoW, a public …

We informally discuss several issues related to the parallel execution of logic programming
systems and concurrent logic programming systems, and their generalization to constraint …

We discuss from a practical point of view a number of issues involved in writing Internet and
WWW applications using LP/CLP systems. We describe PiLLoW, an Internet and WWW …

A framework for the automatic parallelization of (constraint) logic programs is proposed and
proved correct. Intuitively, the parallelization process replaces conjunctions of literals with …

Incorporating the possibility of attaching attributes to variables in a logic program-ming
system has been shown to allow the addition of general constraint solving capabilities to it …