A Prolog Compiler for the PLM
Van Roy, Peter
Technical Report Identifier: CSD-84-203
August 21, 1984
Abstract: 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.