Abstract
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 writable control store. In our system, each of the Warren Abstract Machine instructions is implemented as a VAX 8600 machine level instruction. Other Prolog built-ins are either implemented directly in microcode or executed by the general VAX instruction set. Initial results indicate that our system is the fastest implementation of Prolog on a commercially available general purpose processor.
- 1 D.H.D. Warren, An Abstract Prolog Inmuction Set, SRI International, Menlo Park, CA. Technical Report, (October 1983).Google Scholar
- 2 Tep Dobry, A.M. Despain, and Yale N. Patt, "Performance Studies of a Prolog Machine Architecture," Proceedings of the 12th Intl. Symposium on Computer Architecture, (June 1985). Google Scholar
Digital Library
- 3 Peter Van Roy, A Prolog Compiler for the PLM, University of California, Berkeley CA. Masters Report, (August 1984. Google Scholar
Digital Library
- 4 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
- 5 Tryggve Fossum, Jim McElroy, and Bill English, "New VAX Squeezes Mainframe Power Into Mini Package," Computer Design, (March 1985).Google Scholar
- 6 Mark T. Shaefer and Yale N. Patt, "Improving the Performance of UCSD Pascal Via Microprogramming on the PDP- 11/60," Proceedings of the 16rh Annual Microprogramming Workshop, (October 1983).Google Scholar
Index Terms
The implementation of Prolog via VAX 8600 microcode
Recommendations
The implementation of Prolog via VAX 8600 microcode
MICRO 19: Proceedings of the 19th annual workshop on MicroprogrammingWe 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 ...
A chip set microarchitecture for a high-performance VAX implementation
MICRO 17: Proceedings of the Seventeenth Annual Microprogramming WorkshopFast virtual-address translation and instruction parsing are two hard problems of implementing many modern architectures, including the VAX computer architecture. Meeting the additional constraint of fitting a VAX 11/780-computer-speed implementation ...
Experiments in Automatic Microcode Generation
A procedure is described which permits applications problems coded in a higher level language to be compiled to microcode for horizontally microprogrammed processors. An experimental language has been designed which is suitable for expressing ...






Comments