skip to main content
article
Free Access

Design decisions influencing the microarchitecture for a Prolog machine

Published:01 December 1984Publication History
Skip Abstract Section

Abstract

The PLM-1 is the first step in the hardware implementation of a heterogeneous MIMD processor for logic programming. This paper describes its ISP architecture, and discusses in detail some of the design decisions relative to its microarchitecture.

References

  1. 1 NCR/32 General Information, NCR Corp., Dayton, Ohio (1983).Google ScholarGoogle Scholar
  2. 2 W.F. Clocksin and C. S. Mellish, Programming in Prolog, Springer-Verlag, New York (1981). Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 A.M. Despain and Y. N. Patt, "The Aquarius Project," Proceedings of Compcon Spring 84, (1984).Google ScholarGoogle Scholar
  4. 4 T.P. Dobry, "A PLM Architecture," Computer Science Division Report, University of California, Berkeley, (1984). (To be published)Google ScholarGoogle Scholar
  5. 5 Robert A. Kowalski, Logic for Problem Solving, North-Holland, N.Y. (1979). Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 H. Nishikawa, M. Yokota, A. Yamamoto, K. Taki, and S. Uchida, "The Personal Sequential Inference Machine (PSI): Its Design Philosophy and Machine Architecture," Proc. of Logic Programming Workshop 83, (1983).Google ScholarGoogle Scholar
  7. 7 P. Van Roy, A Prolog Compiler for the PLM, University of California, Berkeley (August 21, 1984). Masters ThesisGoogle ScholarGoogle Scholar
  8. 8 R. Sprugnoli, "Perfect Hashing Functions: A Single Probe Retrieving Method for Static Sets," Communications of the ACM 20(11)(Nov. 1977). Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 E. Tick and D. Warren, "Towards a Pipelined Prolog Processor," 1984 International Symposium on Logic Programming, (1984).Google ScholarGoogle Scholar
  10. 10 D. Warren, "An Abstract Prolog Instruction Set," Technical Note 309, Artificial Intelligence Center, SRI International, Menlo Park, Ca. (October 1983).Google ScholarGoogle Scholar
  11. 11 R. L. Williams, A Prolog Machine Interface for a NCR32 Microcomputer, University of California, Berkeley (July 19, 1984). Masters ThesisGoogle ScholarGoogle Scholar

Index Terms

  1. Design decisions influencing the microarchitecture for a Prolog machine

        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 15, Issue 4
          MICRO 17: Proceedings of the Seventeenth Annual Microprogramming Workshop
          Dec. 1984
          302 pages
          ISSN:1050-916X
          DOI:10.1145/384281
          Issue’s Table of Contents
          • cover image ACM Conferences
            MICRO 17: Proceedings of the 17th annual workshop on Microprogramming
            December 1984
            325 pages

          Copyright © 1984 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 December 1984

          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!