PROLOG程序部分演绎的一种新方法

提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程序P_n解目标Q_n比程序P_0.解目标Q_0效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.

BPU-SPAR:一个并行Prolog系统

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