基于WAM的Prolog编译优化

摘要

描述了一个基于ＷＡＭ的高度优化的全Ｐｒｏｌｏｇ编译系统的设计与实现。本系统是在并行，约束逻辑程序设计等方向上扩充了ＷＡＭ的出发点和基本平台，系统能高效地进行算术表达式计算，支持各种预定义谓词、系统的键壮性和灵活性也令人满意。经过测试系统，比ＢＰＵ－Ｐｒｏｌｏｇ快７－８倍，优于国际上某些Ｐｒｏｌｏｇ编译系统。