里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 在一个可以利用或并行的列表引擎上。 （英语） Zbl 1053.68543号 Codognet，Philippe（编辑），《逻辑编程》。2001年11月26日至12月1日在塞浦路斯帕福斯举行的第17届国际LP会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42935-2）。莱克特。票据计算。科学。2237, 43-58 (2001). 摘要：制表是一种实现技术，通过重用目标解决方案来提高Prolog的声明性和表达性。在过去的几年中，已经开发了相当多有趣的表格应用程序，其中一些本质上是不确定性的。这就提出了一个问题，即是否可以使用并行搜索技术来提高表上应用程序的性能。在这项工作中，我们证明了在SLD解析上下文中提出的并行搜索机制自然会推广到并行表计算，并且由此产生的系统可以在多处理器上获得良好的性能。为此，我们提出了OPTYap并行引擎。在我们的系统中，单个SLG引擎通过堆栈复制进行数据通信。完成是通过一种新的并行完成算法来检测的，该算法建立在为并行提出的数据结构的基础上。通过建立在先前关于或并行的研究基础上，简化了调度。我们显示了实现的初始性能结果。我们的最佳结果是在实际应用中，即模型检查中，我们可以获得线性加速。有关整个系列，请参见[Zbl 0977.00040号]. 引用于三文件 MSC公司： 68N17号 逻辑编程 关键词：并行逻辑编程；或并行性；表格 软件：YapOr公司；OPTYap公司；猫；YapTab标签 PDF格式BibTeX公司 XML格式引用 \textit{R.Rocha}等人，Lect。票据计算。科学。2237、43-58（2001年；Zbl 1053.68543） 全文： 链接