一阶逻辑作为约束编程语言
摘要：对于一阶逻辑，我们提供了一种表征性语义，它捕捉了约束编程中计算过程的两个层次的观点。一个层次是常规的程序执行，另一个层次是约束存储的自动维护。我们证明了该语义与真实定义的准确性。通过实例化特定形式的约束管理策略，我们获得了几个一阶公式的准确计算策略。这种语义还可以作为在块声明和条件语句存在的情况下准确实现约束维护的基础。
作者：K.R. Apt and C.F.M. Vermeulen
论文ID：cs/0208032
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23