This dissertation and Van Roy's dissertation give the final death-blow to the myth that Prolog is slow. This dissertation is probably the most comprehensive taxonomy of analysis domains yet done that measures their usefulness when integrated into a Prolog compiler. This paper provides the essential information of the above dissertation in a more compact form. Ph.D. dissertation, UC Berkeley, 1993. This dissertation is an excellent example showing the usefulness of constrained exhaustive search.
Automatic exploration can achieve results comparable to hand-designed instruction sets.
A case study is done of a RISC specialized to Prolog, which is compared to the VLSI-BAM processor. Please send all comments to Peter Van Roy .