A Prolog Compiler for the PLM
Peter L Van Roy · UC Berkeley · 1984
This report documents the design and implementation of a Prolog compiler for the Prolog Machine (PLM) under development at Berkeley. The target instruction set is a modified version of David Warren's Prolog instruction set. The compiler has been written in Prolog and generates near optimal code in a time and space efficient manner. The efficient compilation of disjunctions and cut is supported. The complete working of the compiler is discussed in detail. Directions for further research are recommended