Including discussions on extensions, applications, and languages, this book aims to capture the full breadth and depth of the constraint programming field and to be encyclopedic in its scope and ...

Constraint Logic Programming (CLP) is the merger of two declarative paradigms: constraint solving and logic programming. As both constraint solving and logic programs are based on mathematical ...

Programs traditionally consist of a series of statements describing how to solve a problem. Declarative programs instead describe what problem to solve and what a solution would look like. The program ...