9 October 2006 Foundations of Logic and Constraint Programming 1 Foundations of Logic and Constraint Programming Lecturer: Pedro Barahona Web page: .