Peter Lodewijk Van Roy
EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-84-203
August 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.
";
?>
BibTeX citation:
@techreport{Van Roy:CSD-84-203, Author = {Van Roy, Peter Lodewijk}, Title = {A Prolog Compiler for the PLM}, Institution = {EECS Department, University of California, Berkeley}, Year = {1984}, Month = {Aug}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1984/5281.html}, Number = {UCB/CSD-84-203}, 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.} }
EndNote citation:
%0 Report %A Van Roy, Peter Lodewijk %T A Prolog Compiler for the PLM %I EECS Department, University of California, Berkeley %D 1984 %@ UCB/CSD-84-203 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1984/5281.html %F Van Roy:CSD-84-203