使用XSB-Prolog证明确定逻辑程序查询的失败
摘要：证明确定性逻辑程序的查询失败可以通过构建一个有限模型来完成，在该模型中查询是错误的。可以使用第一阶逻辑的通用模型生成器来进行此操作。最近在PLILP98上发表的一篇论文展示了如何利用确定性程序的特点来获得更好的解决方案。其中描述了一种结合了绑定和制表技术的方法，并使用元解释器来进行启发式搜索控制。本文展示了如何通过在XSB-Prolog系统的标准表格化下直接执行来获得类似的结果。通过更好的智能回溯和更准确的失败分析来弥补对控制的失去。
作者：Nikolay Pelov, Maurice Bruynooghe
论文ID：cs/0003069
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23