Richard Carlson

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-89-536
May 1989

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/CSD-89-536.pdf

This report describes a set of tools developed to help define an efficient computer architecture for executing Prolog programs. These tools decompose Prolog source code into basic register-transfer level operations, compact these operations into more complex instructions while enforcing various architectural limits within the processor, and simulate and gather statistics on the resulting programs. This report also describes a group of Prolog benchmarks that have been analyzed by this set of tools, and presents some necessary features of an efficient Prolog architecture that were revealed by the analysis of these benchmarks.

BibTeX citation:

@techreport{Carlson:CSD-89-536,
    Author = {Carlson, Richard},
    Title = {The Bottom-Up Design of a Prolog Architecture},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1989},
    Month = {May},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/5620.html},
    Number = {UCB/CSD-89-536},
    Abstract = {This report describes a set of tools developed to help define an efficient computer architecture for executing Prolog programs. These tools decompose Prolog source code into basic register-transfer level operations, compact these operations into more complex instructions while enforcing various architectural limits within the processor, and simulate and gather statistics on the resulting programs. This report also describes a group of Prolog benchmarks that have been analyzed by this set of tools, and presents some necessary features of an efficient Prolog architecture that were revealed by the analysis of these benchmarks.}
}

EndNote citation:

%0 Report
%A Carlson, Richard
%T The Bottom-Up Design of a Prolog Architecture
%I EECS Department, University of California, Berkeley
%D 1989
%@ UCB/CSD-89-536
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/5620.html
%F Carlson:CSD-89-536