模式信息在Prolog解释系统中的应用

An Application of Mode Information to a Prolog Interpreter

给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。

In the implementation systems of logic programming language Prolog,mode information plays an important role in various optimizations.This paper presents a simplified version of unification process which can be applied to so-called variable seperated programs and gives the details of its application to a Prolog interpreter implemented by the structure-sharing technique.