Fast Prolog with an extended general purpose architecture

BK Holmer, B Sano, M Carlton, P Van Roy… - ACM SIGARCH …, 1990 - dl.acm.org
BK Holmer, B Sano, M Carlton, P Van Roy, R Haygood, WR Bush, AM Despain…
ACM SIGARCH Computer Architecture News, 1990dl.acm.org
Most Prolog machines have been based on specialized architectures. Our goal is to start
with a general purpose architecture and determine a minimal set of extensions for high
performance Prolog execution. We have developed both the architecture and optimizing
compiler simultaneously, drawing on results of previous implementations. We find that most
Prolog specific operations can be done satisfactorily in software; however, there is a crucial
set of features that the architecture must support to achieve the best Prolog performance …
Most Prolog machines have been based on specialized architectures. Our goal is to start with a general purpose architecture and determine a minimal set of extensions for high performance Prolog execution. We have developed both the architecture and optimizing compiler simultaneously, drawing on results of previous implementations. We find that most Prolog specific operations can be done satisfactorily in software; however, there is a crucial set of features that the architecture must support to achieve the best Prolog performance. The emphasis of this paper is on our architecture and instruction set. The costs and benefits of the special architectural features and instructions are analyzed. Simulated performance results are presented and indicate a peak compiled Prolog performance of 3.68 million logical inferences per second.
ACM Digital Library
Showing the best result for this search. See all results