The Bottom-Up Design of a Prolog Architecture
Technical Report Identifier: CSD-89-536
May 22, 1989
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.