THE SEMANTICS OF CONSTRAINT LOGIC