skip to main content
article
Free Access

Microprogram control of a Prolog machine

Published:01 March 1986Publication History
Skip Abstract Section

Abstract

A Prolog machine design and its control are described. The machine features two-stage pipelining, a triple bus interconnection data path and support for concurrent control of micro-operations. The objective of this design is to improve execution of a Prolog processor by simultaneously performing multiple micro-operations. Capabilities of concurrent operation support are described in detail and demonstrated using some example Prolog functions. Two-stage pipeline technique as applied to non-deterministic control of Prolog program execution will be presented.

References

  1. H. Nishikawa, M. Yokota, A. Yamamoto, K. Taki, and S. Uchida, "The Personal Sequential Inference Machine (PSI): Its Design Philosophy and Machine Architecture," Proceedings of Logic Programming Workshop 83, (1983)Google ScholarGoogle Scholar
  2. E. Tick and D. Warren, "Towards a Pipelined Prolog Processor," 1984 International Symposium on Logic Programming, (1984)Google ScholarGoogle Scholar
  3. T. P. Dobry, Y. N. Patt, and A. M. Despain, "Design Decisions Influencing the Microarchitecture for a Prolog Machine," MICRO 17 Proceedings, (Oct. 1984) Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. D. Warren, "An Abstract Prolog Instruction Set," Technical Note 309, AI Center, SRI International, Menlo Park, Ca., (Oct. 1983)Google ScholarGoogle Scholar

Index Terms

  1. Microprogram control of 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 17, Issue 1
              March 1986
              22 pages
              ISSN:1050-916X
              DOI:10.1145/16356
              Issue’s Table of Contents

              Copyright © 1986 Author

              Publisher

              Association for Computing Machinery

              New York, NY, United States

              Publication History

              • Published: 1 March 1986

              Check for updates

              Qualifiers

              • article
            • Article Metrics

              • Downloads (Last 12 months)1
              • Downloads (Last 6 weeks)0

              Other Metrics

            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!