聂文英, 刘椿年, 王念永. BPU-SPAR:一个并行Prolog系统[J]. 北京工业大学学报, 1997, 23(3): 83-90.
    引用本文: 聂文英, 刘椿年, 王念永. BPU-SPAR:一个并行Prolog系统[J]. 北京工业大学学报, 1997, 23(3): 83-90.
    Nie Wenying, Liu Chunnian, Wang Nianyong. BPU-SPAR: A Parallel Prolog System[J]. Journal of Beijing University of Technology, 1997, 23(3): 83-90.
    Citation: Nie Wenying, Liu Chunnian, Wang Nianyong. BPU-SPAR: A Parallel Prolog System[J]. Journal of Beijing University of Technology, 1997, 23(3): 83-90.

    BPU-SPAR:一个并行Prolog系统

    BPU-SPAR: A Parallel Prolog System

    • 摘要: BPU-SPAR系统是在原BPU-Prolog系统的基础上研制开发出来的一个流并行prolog系统,已在SUN工作站上实现.BPU-SPAR继承了原BPU-Prolog的结构共享机制,其运行速度可以和基于Warren抽象机的PARLOG相比.BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施.本文主要给出BPU-SPAR的内部实现技术和特有的优化机制.

       

      Abstract: BPU-SPAR system is a stream AND parallel Prolog system which is implemented on SUN workstation, based on BPU-Prolog system. It inherits the structure-sharing mechanism of BPU-Prolog, and yet the execution speed is comparable with the PARLOG based on WAM. BPU-SPAR provides the framework in which a parallel CLP(Constraint Logic Programming) system is being developed. This paper presents the implementation and optimization techniques used in BPU-SPAR.

       

    /

    返回文章
    返回