陈伟东;Swift，Terrance公司;大卫·沃伦。 在良好的语义基础上高效地进行自顶向下的查询计算。 （英语） Zbl 0866.68017号 J.日志。程序。 24，第3期，161-200（1995）. 概要：这个基础良好的模型为具有负文本规则体的逻辑程序提供了一个自然而健壮的语义。虽然在成熟的语义下，提出了各种用于查询评估的过程语义，但实现查询的有效计算的实际问题却很少讨论。本文研究了基于良好语义的查询求值的两个主要实现问题，即：（a）确保只有在对正文本进行了完全求值之后才能解决负文本，以及（b）检测和处理潜在的负循环。我们提出了高效的增量算法，用于在自顶向下的评估中维护子目标之间的正相关性和负相关性。通过检查单个子目标的依赖信息，可以检测出完全评估的子目标和潜在的负循环。我们的实现可以被视为SLDNF分辨率的有效继任者，以自然和平滑的方式扩展了Prolog计算。 引用于14文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 关键词：鲁棒语义;逻辑程序 软件：XSB公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Chen}等人，J.Log。程序。24，第3号，161--200（1995；Zbl 0866.68017） 全文： 内政部