Publisher Summary Constraint programming is a powerful paradigm for solving
combinatorial search problems that draws on a wide range of techniques from artificial …

This paper surveys recent work on applying analysis and transformation techniques that
originate in the field of constraint logic programming (CLP) to the problem of verifying …

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

SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but
increasingly a community project. The core system has been shaped to its current form while …

Perception and reasoning are two representative abilities of intelligence that are integrated
seamlessly during human problem-solving processes. In the area of artificial intelligence …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Publisher Summary This chapter discusses that constraint reasoning involves various types
of techniques to tackle the inherent intractability of the problem of satisfying a set of …

The use of constraints had its scientific and commercial breakthrough in the 1990s.
Programming with constraints makes it possible to model and specify problems with …

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a
practical programming language based on rules. This book, written by the creator of CHR …

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 …