PDF

Description

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.

Details

Files

Statistics

from
to
Export
Download Full History