A Prolog Compiler for the PLM

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