The implementation of Prolog via VAX 8600 microcode

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The implementation of Prolog via VAX 8600 microcode

Full text

Pdf (777 KB)

Source

International Symposium on Microarchitecture archive
Proceedings of the 19th annual workshop on Microprogramming table of contents

New York, New York, United States

Pages: 68 - 74

Year of Publication: 1986

ISBN:0-8186-0736-X

Also published in ...

Authors

J. Gee	Computer Science Division, University of California, Berkeley, CA
S. W. Melvin	Computer Science Division, University of California, Berkeley, CA
Y. N. Patt	Computer Science Division, University of California, Berkeley, CA

Sponsor

SIGMICRO: ACM Special Interest Group on Microarchitectural Research and Processing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 9, Citation Count: 3

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/19551.19538 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	D.H.D. Warren, An Abstract Prolog Inmuction Set, SRI International, Menlo Park, CA. Technical Report, (October 1983).
	2	T. P. Dobry , A. M. Despain , Y. N. Patt, Performance studies of a Prolog machine architecture, Proceedings of the 12th annual international symposium on Computer architecture, p.180-190, June 17-19, 1985, Boston, Massachusetts, United States
	3	Peter L Van Roy, A Prolog Compiler for the PLM, University of California at Berkeley, Berkeley, CA, 1984
	4	Barry Fagin , Tep Dobry, The Berkeley PLM Instruction Set: An Instruction Set for Prolog, University of California at Berkeley, Berkeley, CA, 1986
	5	Tryggve Fossum, Jim McElroy, and Bill English, "New VAX Squeezes Mainframe Power Into Mini Package," Computer Design, (March 1985).
	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).

CITED BY 3

	K. Lall , J. W. Atwood, A microprogrammed interpreter for concurrent euclid, ACM SIGMICRO Newsletter, v.20 n.3, p.1-10, Sep. 1989
	M. Brady, A direct execution architecture for Prolog?, ACM SIGMICRO Newsletter, v.20 n.3, p.31-34, Sep. 1989
	A. Despain , Y. Patt , V. Srini , P. Bitar , W. Bush , C. Chien , W. Citrin , B. Fagin , W. Hwu , S. Melvin , R. McGeer , A. Singhal , M. Shebanow , P. Van Roy, Aquarius, ACM SIGARCH Computer Architecture News, v.15 n.1, p.22-34, March 1987