论文部分内容阅读
HG-Prolog是在MV-8000计算机上用Pascal语言书写的实现Prolog语言的系统.该系统采用“预处理——解释执行”两趟方式执行Prolog程序.本文着重介绍为提高功效所采取的“预处理”、“线性合一算法”、“存放程序执行的控制信息和程序数据的栈技术”,并以运行实例说明HG-Prolog是实用的成功系统.该系统已投入使用.