鲁伊·马奎斯;Swift，Terrance公司 正常程序的并发和本地评估。 （英语） Zbl 1185.68170号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366206-222（2008）。 总结：表格评估可以包含许多特征，包括表格否定、对基础良好的模型进行简化、表格约束和答案包含。使用局部评估策略可以最有效地评估其中的许多特征，该策略在将答案返回给该集合之外的其他子目标之前，会对每个相互依赖的表格子目标集进行全面评估。本文介绍了一种形式化的并发局部SLG，通过它，多个计算线程并发地对基础良好的语义进行局部计算，这是XSB系统中多线程表的框架。我们在单线程表计算中证明了局部求值的几个性质。然后，我们将SLG扩展到并发模型，并表明当由多个线程计算时，SLG的完整性和复杂性得到了保留。最后，我们将局部求值扩展到并发SLG，并证明了局部求值的属性在并发情况下仍然保持不变。有关整个系列，请参见[Zbl 1154.68013号]. 引用于三文件 MSC公司： 68N17号 逻辑编程 68问题55 计算理论中的语义学 软件：OPTYap公司;XSB公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Marques}和\textit{T.Swift}，Lect。注释计算。科学。5366、206-222（2008年；Zbl 1185.68170） 全文： 内政部 参考文献： [1] Chen，W.，Warren，D.S.：通用逻辑程序的延迟表评估。ACM杂志43（1），20–74（1996）·Zbl 0882.68050号 ·数字对象标识代码：10.1145/227595.227597 [2] Damásio，C.：分布式列表系统。摘自：第二届解析和演绎制表研讨会论文集，TAPD 2000，第65–75页（2000） [3] Freire，J.，Hu，R.，Swift，T.，Warren，D.S.：平行化表格评估。收录：Swierstra，S.D.（编辑）PLILP 1995。LNCS，第982卷，第115–132页。斯普林格，海德堡（1995）·doi:10.1007/BFb0026817 [4] Freire，J.，Swift，T.，Warren，D.S.：超越深度优先：通过替代调度策略改进表格逻辑程序。JFLP 1998（3）（1998）·Zbl 0924.68054号 [5] Hu，R.：分布式表格评估。纽约州立大学石溪分校博士论文（1997年） [6] Marques，R.：并发制表：算法与实现。新葡京大学博士论文（2007年） [7] Marques，R.、Swift，T.、Cunha，J.：用多线程扩展表逻辑编程：系统视角（2008） [8] Marques，R.、Swift，T.、Cunha，J.：并发本地表的简单高效实现（2008），http://www.cs.sunysb.edu/tswift公司 [9] Rocha，R.，Silva，F.，Costa，V.S.：关于将或并行和表应用于逻辑程序。逻辑程序设计理论与实践4（6）（2004）·Zbl 1093.68021号 [10] Rocha，R.，Silva，F.，Santos-Costa，V.：表格逻辑程序的动态混合策略评估。收录：Gabbrielli，M.，Gupta，G.（编辑）ICLP 2005。LNCS，第3668卷，第250-264页。斯普林格，海德堡（2005）·Zbl 1165.68342号 ·doi:10.1007/11562931_20 [11] Spencer，J.：随机图的奇异逻辑。斯普林格，海德堡（2000） [12] van Gelder，A.，Ross，K.A.，Schlipf，J.S.：通用逻辑程序的无基础集和良好语义。ACM杂志38（3），620-650（1991）·Zbl 0799.68045号 ·数字对象标识代码：10.1145/116825.116838 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。