朱莉安娜·弗雷尔;Swift,Terrance公司;大卫·沃伦。 超越深度优先策略:通过替代调度改进表格逻辑程序。 (英语) 兹比尔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) 全文: 链接