skip to main content
article
Free Access

A direct execution architecture for Prolog?

Authors Info & Claims
Published:01 August 1989Publication History
Skip Abstract Section

Abstract

This paper describes work in progress on the development of a direct execution Prolog processor.

References

  1. Bowen et al. 1982 Bowen, D.L., Byrd, L., Pereira, F.C.N., Pereira, L.M. and Warren, D.H.D. "DECsystem-10 Prolog User's Manual", Occasional Paper 27, Department of Artificial Intelligence, University of Edinburgh, 1982.Google ScholarGoogle Scholar
  2. Brady 1988 Brady, M. "Oh! Prolog - An interpreter for Prolog" Proceedings of AI/CS '88, Department of Computer Science, University College Dublin Ireland, 1988.Google ScholarGoogle Scholar
  3. Bruynooghe 1982 Bruynooghe. M. "The Memory Management of Prolog Implementations" Logic Programming (eds. Clark, K. ~ Tanlund S.-A.). Academic Press, London, 1982.Google ScholarGoogle Scholar
  4. Clocksin & Mellish 1981 Clocksin, W.F. and Mellish, C.S. "Programming in Prolog", Springer Verlag, 198 1. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Gee Melvin & Patt 1986 Gee. J., Melvin, SW. and Patt. Y.N. "The Implementation of Prolog via VAX 8600 Microcode" Proceedings of the 19th Annual Workshop on Microprogramming (Micro 19). IEEE Computer Society Press. 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Gee Melvin & Patt 1987 Gee, J., Melvin, S.W. and Patt, Y.N. "Advantages of Implementing Prolog by Microprogramming a Host General Purpose Machine" Logic Programming - Proceedings of the Fourth International Conference in Melbourne (ed J.-L. Lassez) , MIT Press, 1987.Google ScholarGoogle Scholar
  7. Hermenegildo 1986 Hermenegildo, M.V. "An Abstract Machine for Restricted AND-Parallel execution of Logic Programs" Proceedings of Third International Conference on Logic Progr amming (ed. E. Shapiro), Springer Verlag, 1986. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Mellish 1984 Mellish. C.S. "An alternative to structure sharing in the implementation of a Prolog interpreter" Logic Programming (eds. Clark, K. ~ Tlirnlund S.-A.), Academic Press, London, 1982.Google ScholarGoogle Scholar
  9. Milutinovic 1989 Milutinovic. V.M. (ed) "High Level Language Computer Architecture", ISBN O-88175-1324, Computer Science Press, 1989. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Warren 1977 Warren, D.H.D. "Implementing Prolog -- Compiling Predicate Logic Programs", Research Reports 39 ~ 40, Department of Artificial Intelligence, University of Edinburgh, 1977.Google ScholarGoogle Scholar
  11. Warren 1983 Warren, D.H.D. "An Abstract Prolog Instruction Set", Technical Note 309. Artificial Intelligence Center, SRI International, Menlo Park CA, 1983.Google ScholarGoogle Scholar

Index Terms

  1. A direct execution architecture for Prolog?

              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 20, Issue 3
                Sep. 1989
                253 pages
                ISSN:1050-916X
                DOI:10.1145/75395
                Issue’s Table of Contents
                • cover image ACM Conferences
                  MICRO 22: Proceedings of the 22nd annual workshop on Microprogramming and microarchitecture
                  August 1989
                  253 pages
                  ISBN:0897913248
                  DOI:10.1145/75362

                Copyright © 1989 Author

                Publisher

                Association for Computing Machinery

                New York, NY, United States

                Publication History

                • Published: 1 August 1989

                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!