Title :
Alternative implementations of Prolog: the microarchitecture perspective
Author_Institution :
Div. of Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
An area that should provide opportunities for obtaining improvements in the performance of Prolog programming is explored: the microarchitecture of the uniprocessor engine. Alternative execution models are examined for a uniprocessor microengine, and their performance is measured on 14 separate benchmark programs; the resulting data is presented and analyzed. The author also examines the program size explosion that results from compiling directly to a low-level instrument assembly. The characteristics of an optimal microarchitecture are identified and opportunities for further improvement at the microengine level are discussed
Keywords :
PROLOG; computer architecture; special purpose computers; Prolog programming; benchmark programs; low-level instrument assembly; microarchitecture; performance; program size explosion; uniprocessor engine; uniprocessor microengine; Computer aided instruction; Computer architecture; Computer science; Computerized monitoring; Data structures; Engines; Helium; Logic; Microarchitecture; Wires;
Journal_Title :
Systems, Man and Cybernetics, IEEE Transactions on