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*