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

Please pass captcha verification before submit form