里卡多·罗查;费尔南多·席尔瓦;维托尔·桑托斯·科斯塔 并行表逻辑程序中的并发表访问。 (英语) Zbl 1096.68584号 Danalotto,Marco(编辑)等人,《2004年欧洲药典》,并行处理。2004年8月31日至9月3日在意大利比萨举行的第十届国际欧巴会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22924-8/pbk)。计算机科学讲义3149662-670(2004)。 摘要:Tabling是一种实现技术,它通过重用子目标的答案来提高Prolog的声明性和表达性。表逻辑编程的声明性质表明它可能适合并行执行。另一方面,表机制的复杂性,以及共享资源表的存在,可能意味着并行性可能会受到限制,并且永远无法扩展到实际应用程序。在这项工作中,我们提出了三种用于处理并发表访问的替代锁定方案,并使用一组表程序研究了它们对OPTYap并行表系统的影响。关于整个系列,请参见[Zbl 1056.68005号]. MSC公司: 68N17号 逻辑编程 软件:XSB公司;OPTYap公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Rocha}等人,Lect。注释计算。科学。3149662--670(2004年;Zbl 1096.68584) 全文: 内政部