摘要
BPU-SPAR系统是在原BPU-Prolog系统的基础上研制开发出来的一个流并行prolog系统,已在SUN工作站上实现.BPU-SPAR继承了原BPU-Prolog的结构共享机制,其运行速度可以和基于Warren抽象机的PARLOG相比.BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施.本文主要给出BPU-SPAR的内部实现技术和特有的优化机制.
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
出处
《北京工业大学学报》
CAS
CSCD
1997年第3期83-90,共8页
Journal of Beijing University of Technology
基金
国家自然科学基金
国家863计划的资助项目
