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.