一阶逻辑作为约束编程语言
计算机科学中的逻辑
2007-05-23 v2
摘要
我们为一阶逻辑提供了一种指称语义，它捕获了约束编程典型的计算过程的两个层次视图。在一个层次上，我们有通常的程序执行。在另一个层次上，约束存储的自动维护发生。我们证明了由此产生的语义相对于真值定义是可靠的。通过用特定形式的约束管理策略实例化它，我们获得了几种一阶公式的可靠求值策略。这种语义也可以作为在存在块声明和条件语句时可靠实现约束维护的基础。
引用
@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}
}
备注
17 pages. v2: improved version corrected reference to Turing (instead of Tarski)