Abstract
A proven method of obtaining high performance for Prolog programs is to first translate them into the instruction set of Warren's Abstract Machine, or W-code [1]. From that point, there are several models of execution available. This paper describes one of them:- the compilation of W-code directly into the vertical microcode of a general purpose host processor, the NCR/32-000. The result is the fastest functioning Prolog system known to the authors. We describe the implementation, provide benchmark measurements, and analyze our results.
- 1 D.H.D. Warren, An Abstract Prolog Instruction Set, SRI International, Menlo Park,CA (1983). Technical Report.Google Scholar
- 2 Tep Dobry, A. M. Despain, and Y. N. Patt, "Performance Studies of a Prolog Machine Architecture," Proceedings of the 12th Intl. Symposium on Camp. Arch., (June 1985). Google Scholar
Digital Library
- 3 Peter Van Roy, A Prolog Compiler for the PLM, University of California, Berkeley, CA (August 1984). Master's Report. Google Scholar
Digital Library
- 4 Wayne Citrin and Peter Van Roy, "Compiling Prolog for the Berkeley PLM," Proceedings of the 19th Hawaii International Conference on System Sciences, (1986). To appear.Google Scholar
- 5 Tep Dobry, Yale Patt, and A. M. Despain, "Design Decisions Influencing the Microarchitecture For A Prolog Machine," MICRO 17 Proceedings, (October 1984). Google Scholar
Digital Library
- 6 Barry Fagin and Tep Dobry. "The Berkeley PLM Instruction Set: An Instruction Set for Prolog," UCB Research Report, CS Division, University of California, Berkeley, (September 1985). Google Scholar
Digital Library
- 7 NCR Corporation, NCR132 General Information. 1983.Google Scholar
- 8 David H. D. Warren, Applied Logic -- Its Use and Implementation as a Programming Tool, University of Edinburgh, Scotland (1977). Ph.D. Thesis.Google Scholar
- 9 Tep Dobry, PLM Simulator Reference Manual, Computer Science Division, University of California, Berkeley, CA (July 1984). Technical Note.Google Scholar
Index Terms
Compiling Prolog into microcode: a case study using the NCR/32-000
Recommendations
Compiling Prolog into microcode: a case study using the NCR/32-000
MICRO 18: Proceedings of the 18th annual workshop on MicroprogrammingA proven method of obtaining high performance for Prolog programs is to first translate them into the instruction set of Warren's Abstract Machine, or W-code [1]. From that point, there are several models of execution available. This paper describes one ...
The implementation of Prolog via VAX 8600 microcode
We have implemented a high performance Prolog engine by directly executing in microcode the constructs of Warren's Abstract Machine. The implementation vehicle is the VAX 8600 computer. The VAX 8600 is a general purpose processor containing 8K words of ...
RISCs vs. CISCs for Prolog: a case study
This paper compares the performance of executing compiled Prolog code on two different architectures under development at U. C. Berkeley. The first is the PLM, a special-purpose CISC architecture intended as a coprocessor for a host machine. The second ...






Comments