YapOr公司 swMATH ID: 13882 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 描述： YapOr：一个基于环境复制的Or-Parallel Prolog系统。YapOr是一个或并行系统，它扩展了Yap-Prolog系统，以利用Prolog程序中的隐式或并行性。它基于Muse中首次实现的环境复制模型。YapOr的开发需要一些重要问题的解决方案，例如设计支持并行处理的数据结构、实施增量复制技术、开发能够高效应对并行处理特别是增量复制的内存组织，实现调度器策略，设计调度器与引擎之间的接口，实现共享工作流程，实现对cut内置程序的支持。对YapOr性能的初步评估表明，它在大量基准程序上取得了非常好的性能。事实上，YapOr在基本速度和加速方面都优于成熟的并行Prolog系统，如Muse。 主页： http://rd.springer.com/chapter/10.1007%2F3-540-48159-1_13 相关软件： YAP-序言；OPTYap公司；PALS系统；YapTab标签；SICStus公司；XSB公司；CAT公司；阿司匹林；LPaaS公司；GHC公司；帕洛；四月；叶达洛格；HaLoop公司；大数据日志；阳光；自动对开；斯莫德尔斯；伯克明州；CDAO商店 引用于： 8文件 全部的 前5名11位作者引用 6 里卡多·罗查 4 维托尔·桑托斯·科斯塔 三 戈帕尔·古普塔 三 恩里科·蓬泰利 三 费尔南多·席尔瓦 2 郭海峰 2 维拉维德，卡伦 1 阿戈斯蒂诺·多维尔 1 杜特拉，因斯 1 安德烈亚·福米萨诺 1 曼努埃尔五世（Manuel V.Hermenegildo）。 连载1篇 5 逻辑程序设计理论与实践 在1个字段中引用 8 计算机科学（68至XX） 按年份列出的引文