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

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.

Powerpoint Course material for use with the book

Programs from the book