Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

Abstract Constraint Logic Programming (CLP) is a merger of two declarative paradigms:
constraint solving and logic programming. Although a relatively new field, CLP has …

The job of the constraint programmer is to use mathematical constraints to model real world
constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first …

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 …

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 …

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 …

This paper presents a constraint logic programming model for the traveling salesman
problem with time windows which yields an exact branch-and-bound optimization algorithm …

Prolog is a simple but powerful programming language developed at the University of
Marseilles (Prolog: Manuel de Reference et d'Utilisation by P. Roussel, Groupe …

This paper is aimed at researchers and practitioners in Operational Research who are
interested in the new field of Constraint Programming/Constraint Logic Programming. Due to …

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 …