We provide an overall description of the Ciao multiparadigm programming system
emphasizing some of the novel aspects and motivations behind its design and …

Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

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 …

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 …

Aurora is a prototype or-parallel implementation of the full Prolog language for shared-
memory multiprocessors, developed as part of an informal research collaboration known as …

One of the most exciting and promising aspects of logic programming is its richness of
parallel execution models. The challenge is to find cost-effective, robust implementation …

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 …

The theory of abstract interpretation provides a formal framework to develop advanced
dataflow analysis tools. The idea is to define a nonstandard semantics which is able to …

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 …

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 …