skip to main content
article
Free Access

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

Authors Info & Claims
Published:01 December 1985Publication History
Skip Abstract Section

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. 1 D.H.D. Warren, An Abstract Prolog Instruction Set, SRI International, Menlo Park,CA (1983). Technical Report.Google ScholarGoogle Scholar
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Peter Van Roy, A Prolog Compiler for the PLM, University of California, Berkeley, CA (August 1984). Master's Report. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle Scholar
  5. 5 Tep Dobry, Yale Patt, and A. M. Despain, "Design Decisions Influencing the Microarchitecture For A Prolog Machine," MICRO 17 Proceedings, (October 1984). Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 NCR Corporation, NCR132 General Information. 1983.Google ScholarGoogle Scholar
  8. 8 David H. D. Warren, Applied Logic -- Its Use and Implementation as a Programming Tool, University of Edinburgh, Scotland (1977). Ph.D. Thesis.Google ScholarGoogle Scholar
  9. 9 Tep Dobry, PLM Simulator Reference Manual, Computer Science Division, University of California, Berkeley, CA (July 1984). Technical Note.Google ScholarGoogle Scholar

Index Terms

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

                    Recommendations

                    Comments

                    Login options

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

                    Sign in

                    Full Access

                    • Published in

                      cover image ACM SIGMICRO Newsletter
                      ACM SIGMICRO Newsletter  Volume 16, Issue 4
                      Dec. 1985
                      166 pages
                      ISSN:1050-916X
                      DOI:10.1145/18906
                      Issue’s Table of Contents
                      • cover image ACM Conferences
                        MICRO 18: Proceedings of the 18th annual workshop on Microprogramming
                        December 1985
                        201 pages
                        ISBN:0897911725
                        DOI:10.1145/18927

                      Copyright © 1985 Authors

                      Publisher

                      Association for Computing Machinery

                      New York, NY, United States

                      Publication History

                      • Published: 1 December 1985

                      Check for updates

                      Qualifiers

                      • article

                    PDF Format

                    View or Download as a PDF file.

                    PDF

                    eReader

                    View online with eReader.

                    eReader
                    About Cookies On This Site

                    We use cookies to ensure that we give you the best experience on our website.

                    Learn more

                    Got it!