{The Semantics of Constraint Logic Programs}