Alternative implementations of Prolog: the microarchitecture perspective
Yale N. Patt · IEEE Transactions on Systems Man and Cybernetics · 1989
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.>