Swift，Terrance公司 具有延迟的表格分辨率的新公式。 （英语） Zbl 0964.68019号 Barahona，Pedro（编辑）等人，《人工智能的进展》。第九届葡萄牙人工智能会议，EPIA’99，埃沃拉，葡萄牙，1999年9月21日至24日。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。1695, 163-177 (1999). 摘要：制表对逻辑编程非常重要，部分原因是它为逻辑编程技术开辟了新的应用领域，例如模型检查。然而，表格逻辑编程的新扩展的开发正受到其下的形式主义的限制。表格评估的形式化，如SLG，通常是为了评估中可以执行的一组特定的允许操作而开发的。在SLG的情况下，制表操作是基于原子之间的方差关系。虽然SLG表操作集已被证明对许多应用程序有用，但其他类型的操作，例如基于原子间包含关系的操作，也可以有实际用途。本文以两种方式重新定义了SLG：以便可以使用不同的操作集对其进行参数化；因此，我们使用了树的森林范式。当新形式化由基于方差的运算参数化时，显示了新公式（扩展SLG或SLG（_X））与SLG的等价性。此外，SLG\（_X\）还通过基于包含的操作进行参数化，并在查询基础良好的模型时显示正确。最后，通过在表格评估中形式化相关性的概念，证明了树之林范式在促进表格优化方面的有用性。关于整个系列，请参见[Zbl 0929.00072号]. 引用于2文件 MSC公司： 68N17号 逻辑编程 关键词：表格逻辑程序设计 PDF格式BibTeX公司 XML格式引用 \textit{T.Swift}，莱克特。注释计算。科学。1695，163--177（1999；Zbl 0964.68019）