17 October 2006 Foundations of Logic and Constraint Programming 1 Declarative Semantics An overview Algebras (semantics for terms) Interpretations (semantics.
