Swift,Terrance公司 非单调编程表格。 (英语) Zbl 0940.68025号 安。数学。Artif公司。智力。 25,第3-4号,201-240(1999). 摘要:非单调扩展为逻辑程序增添了力量。然而,由于其弱终止性和复杂性,主要的逻辑编程语言Prolog被广泛认为不足以实现这些扩展。通过使用tabling扩展Prolog的SLD分辨率,可以从几个方面改进Prolog。表格可以让逻辑编程系统计算具有有界项深度的程序的基础良好的语义,并使用多项式数据复杂度进行计算。通过利用这些特性,tabling可以有效地实现各种非单调扩展,并用于解决实际问题。在本文中,我们描述了在XSB系统中实现的表,并展示了如何使用它为两种示例形式构造元解释器(或预处理器):具有显式否定的基础良好的语义和广义注释逻辑程序。我们还描述了非单调扩展如何在实际应用中使用,例如精神病诊断、从结构不良的文本数据中提取信息以及模型检查。 引用于12文件 MSC公司: 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 68N17号 逻辑编程 关键词:逻辑程序设计 软件:XSB公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Swift},安.数学。Artif公司。智力。25,编号3--4,201-240(1999;Zbl 0940.68025) 全文: 内政部