Richard Carlson

EECS Department, University of California, Berkeley

Technical Report No. UCB/CSD-89-536

, 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},
    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