An introduction to the constraint satisfaction problem (a general problem in AI applications), covering theoretical, practical and implementation issues. The book discusses formal definitions, CSP solving algorithms and implementation of some of the algorithms on PROLOG.