亚波尔

YapOr:一个基于环境复制的并行Prolog系统。YapOr是一个or并行系统,它扩展了Yap-Prolog系统,以利用Prolog程序中的隐式或并行性。它基于环境复制模型,这是在Muse中首次实现的。YapOr的发展需要解决一些重要问题,如设计支持并行处理的数据结构、实现增量复制技术、开发能够高效地响应并行处理特别是增量复制的存储组织,实现调度策略,设计调度程序和引擎之间的接口,实现共享工作流程,实现对裁剪内置的支持。对YapOr性能的初步评估表明,它在大量基准程序中取得了非常好的性能。事实上,YapOr与成熟的并行Prolog系统(如Muse)相比,无论是在基本速度还是在加速方面,YapOr都是相当不错的。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换