Programming with Constraints

An introduction to constraint programming and, in particular, constraint logic programming. The book covers the necessary background material and discusses such topics as constraint-solving techniques. Practical exercises show how to use the book with existing constraint languages.