Programming with Constraints: an Introduction
Kim Marriott and Peter J. Stuckey
Published by MIT Press, release March 1998, 476 pages.
To order or request an examination copy see the
MIT Press page about the book.
This book grew out of a number of years of course on constraint
logic programming and constraint programming given by
myself and Kim Marriott at the University of Melbourne
and Monash University.
It is designed to serve a number of purposes
- A
self-contained introduction to constraint programming for artificial
intelligence or operations research practicioners.
- An
introductory course on constraint programming for second year students
(covering only part of the material of the book)
- An advanced
course on constraint programming for late year undergraduate or
graduate students.
- An undergraduate course on logic programming
(as a special case of constraint programming) treating unification as
a special case of constraint solving, and avoiding substitutions
altogether! This may not agree with many people ideas about
logic programming
The book includes numerous exercises, both theoretical and practical
programming exercises. Although it is presented in a style which is
independent of any particular constraint programming language, fairly
detailed instructions are given
on the how to use of CLP(R), ECLiPSe and SICStus
Prolog in the context of the book.
Programs from the book