skip to main content
article
Free Access

The implementation of Prolog via VAX 8600 microcode

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

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

  1. 1 D.H.D. Warren, An Abstract Prolog Inmuction Set, SRI International, Menlo Park, CA. Technical Report, (October 1983).Google ScholarGoogle Scholar
  2. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Peter Van Roy, A Prolog Compiler for the PLM, University of California, Berkeley CA. Masters Report, (August 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Tryggve Fossum, Jim McElroy, and Bill English, "New VAX Squeezes Mainframe Power Into Mini Package," Computer Design, (March 1985).Google ScholarGoogle Scholar
  6. 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 ScholarGoogle Scholar

Index Terms

  1. The implementation of Prolog via VAX 8600 microcode

            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 17, Issue 4
              Dec. 1986
              163 pages
              ISSN:1050-916X
              DOI:10.1145/19530
              Issue’s Table of Contents
              • cover image ACM Conferences
                MICRO 19: Proceedings of the 19th annual workshop on Microprogramming
                December 1986
                179 pages
                ISBN:081860736X
                DOI:10.1145/19551

              Copyright © 1986 Authors

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 December 1986

              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!