First-order Logic as a Constraint Programming Language

K. R. Apt, C. F. M. Vermeulen

We provide a denotational semantics for first-order logic that captures the two-level view of the computation process typical for constraint programming. At one level we have the u…