带有遗传性哈罗普公式的约束逻辑编程
摘要：结合约束逻辑编程（CLP）和遗传哈罗普公式（HH）是增强Horn子句表达能力的两种著名方法。在本文中，我们提出了这两种方法的一种新颖组合。我们展示了如何借助给定的约束系统来丰富HH的语法和证明理论，以保持HH作为逻辑编程语言的关键属性（即一致证明的存在）。我们还提供了一个目标求解的过程，证明了它对计算答案约束的完备性和准确性。由于这个结果，我们得到了一个新的CLP强完备性定理，避免了构建计算答案的析取，并且提供了一个更抽象的已知HH完备性定理的表述。
作者：Javier Leach, Susana Nieva, Mario Rodriguez-Artalejo
论文ID：cs/0404053
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23