This book provides a comprehensive and much needed introduction to the field by one of its
foremost experts. It is beautifully written and presents a unifying framework capturing a wide …

This article surveys the major developments in sequential Prolog implementation during the
period 1983–1993. In this decade, implementation technology has matured to such a …

We describe the design and implementation of a finite domain constraint solver embedded
in a Prolog system using an extended unification mechanism via attributed variables as a …

We introduce Mercury, a new purely declarative logic programming language designed to
provide the support that groups of application programmers need when building large …

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 …

Global Constraint Catalogue: Past, Present and Future Page 1 Constraints (2007) 12:21–62 DOI
10.1007/s10601-006-9010-8 Global Constraint Catalogue: Past, Present and Future Nicolas …

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 …

Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and
that has been under almost constant development since then. This paper presents the …

Cost analysis of programs has been studied in the context of imperative and functional
programming languages. For logic programs, the problem is comphcated by the fact that …

A table constraint is explicitly represented as its set of solutions or non-solutions. This ad hoc
(or extensional) representation may require space exponential to the arity of the constraint …