Constraint Satisfaction in Logic Programming Pascal Van Hentenryck Cloth / March 1989 This book tackles classic problems from operations research and circuit design using a logic programming language embedding consistency techniques, a paradigm emerging from artificial intelligence research. OUT OF PRINT