12 October 2006 Foundations of Logic and Constraint Programming 1 Operational Semantics An overview The language of programs The computation mechanism.