The implementation of Prolog via VAX 8600 microcode-Reference-Cited by-同舟云学术

The implementation of Prolog via VAX 8600 microcode

Published:1986-12-21 Issue:4 Volume:17 Page:68-74
ISSN:1050-916X
Container-title:ACM SIGMICRO Newsletter
language:en
Short-container-title:SIGMICRO Newsl.

Author:

Gee J.¹,Melvin S. W.¹,Patt Y. N.¹

Affiliation:

1. Computer Science Division, University of California, Berkeley, CA

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/19530.19538

Reference6 articles.

1. D.H.D. Warren An Abstract Prolog Inmuction Set SRI International Menlo Park CA. Technical Report (October 1983). D.H.D. Warren An Abstract Prolog Inmuction Set SRI International Menlo Park CA. Technical Report (October 1983).

2. Tryggve Fossum Jim McElroy and Bill English "New VAX Squeezes Mainframe Power Into Mini Package " Computer Design (March 1985). Tryggve Fossum Jim McElroy and Bill English "New VAX Squeezes Mainframe Power Into Mini Package " Computer Design (March 1985).

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A high speed prolog implementation on a VLIW processor;Microprocessing and Microprogramming;1989-08