First-order Logic as a Constraint Programming Language
Logic in Computer Science
2007-05-23 v2
Abstract
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 usual program execution. At the other level an automatic maintenance of the constraint store takes place. We prove that the resulting semantics is sound with respect to the truth definition. By instantiating it by specific forms of constraint management policies we obtain several sound evaluation policies of first-order formulas. This semantics can also be used a basis for sound implementation of constraint maintenance in presence of block declarations and conditionals.
Cite
@article{arxiv.cs/0208032,
title = {First-order Logic as a Constraint Programming Language},
author = {K. R. Apt and C. F. M. Vermeulen},
journal= {arXiv preprint arXiv:cs/0208032},
year = {2007}
}
Comments
17 pages. v2: improved version corrected reference to Turing (instead of Tarski)