朱莉安娜·弗雷尔;Swift，Terrance公司;大卫·沃伦。 超越深度优先策略：通过替代调度改进表格逻辑程序。 （英语） Zbl 0924.68054号 J.功能。日志。程序。 1998年，第3条（1998年）. 总结：表评估通过跟踪调用了哪些子目标，确保了具有有限模型的程序的终止。给定一个评估中的多个变量子目标，只有遇到的第一个子目标将使用程序条款解析；其余的将使用第一个子目标生成的答案进行求解。这种答案解析的使用防止了SLD中有时发生的无限循环。由于在一条计算路径中生成的答案可能会在其他路径中异步使用，所以表系统面临着传统自顶向下评估中不存在的一个重要调度选择：何时调度答案解析。本文研究WAM实现SLG-WAM中表的替代调度策略。最初的SLG-WAM有一个简单的机制来调度答案解析，这在创建尾随点和选择点方面是昂贵的。我们在这里提出了一种更复杂的调度策略，即批调度，它减少了这些操作的开销，并为许多程序提供了显著的空间缩减和加速。我们还提出了第二种策略，即局部调度，它应用于非单调推理，当与答案包含相结合时，可以任意提高某些程序的性能。 引用于7文件 MSC公司： 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit｛J.Freire｝等人，J.Funct。日志。程序。1998年，第3条（1998年；Zbl 0924.68054） 全文： 链接