article

Free access

Compiling Prolog into microcode: a case study using the NCR/32-000

Authors:

B. Fagin,

Y. N. Patt,

V. Srini,

A. DespainAuthors Info & Claims

ACM SIGMICRO Newsletter, Volume 16, Issue 4

Pages 79 - 88

https://doi.org/10.1145/18906.18914

Published: 01 December 1985 Publication History

PDF eReader

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.

References

[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).

Digital Library

Google Scholar

[3]

Peter Van Roy, A Prolog Compiler for the PLM, University of California, Berkeley, CA (August 1984). Master's Report.

Digital Library

Google Scholar

[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).

Digital Library

Google Scholar

[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).

Digital Library

Google Scholar

[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

Recommendations

Compiling Prolog into microcode: a case study using the NCR/32-000
MICRO 18: Proceedings of the 18th annual workshop on Microprogramming

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 ...
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 ...
RISCs vs. CISCs for Prolog: a case study
ASPLOS II: Proceedings of the second international conference on Architectual support for programming languages and operating systems

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

Information & Contributors

Information

Published In

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 December 1985

Published in SIGMICRO Volume 16, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
324
Total Downloads

Downloads (Last 12 months)64
Downloads (Last 6 weeks)12

Reflects downloads up to 14 Oct 2024

Other Metrics

View Author Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Index Terms

Recommendations