1 Constraints and Logic Programming All problems involving finite domains (including booleans, and sets) may be solved, in principle, with logic programming.
12 October 2006 Foundations of Logic and Constraint Programming 1 Operational Semantics An overview The language of programs The computation mechanism.