The Bottom-Up Design of a
Richard Carlson · 1989
This report describes a set of tools developed to help define an efficient computer architecture for executing Prologt 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.