skip to main content
article
Free Access

Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures

Published:01 December 1984Publication History
Skip Abstract Section

Abstract

Prolog has become a subject of much discussion of late. It has been suggested as the logical language for programming expert systems. A parallel variant is said to be the language of the Japanese 5th Generation Project. In this paper the standard Prolog language is defined and shown to be a restriction of Logic Programming. Several alternative schemes, which have been proposed for improving the performance of Prolog, are examined. Some schemes change the semantics of the language; these effects are discussed. All schemes have implications on the microarchitecture of the implementing engine; these implications are studied.

References

  1. 1 Clark, K., Gregory, S., "Parlog: Parallel Programming in Logic," 1-Apr-84, Imperial College of Science and Technology Department of Computing Research Report DOC 84/4.Google ScholarGoogle Scholar
  2. 2 Clocksin, W.F., Mellish, C.S., "Programming in Prolog," 1981 Springer-Verlag. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 Conery, J.S., "The AND/OR Process Model for Parallel Interpretation of Logic Programs," 1-Jun-83, University of California Irvine Technical Report #204.Google ScholarGoogle Scholar
  4. 4 Hopcroft, J.E., Ullman, J.D., "Introduction to Automata Theory, Languages, and Computation," 1979 Addison- Wesley. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. 5 Mellish, C.S., "The Automatic Generation of Mode Declarations for Prolog Programs," 1-Aug-81, University of Edinburgh Dept. of AI Technical Report #163.Google ScholarGoogle Scholar
  6. 6 Naish, L., "An Introduction to MU-Prolog," 1-Jan-83, University of Melbourne Technical Report.Google ScholarGoogle Scholar
  7. 7 Nilsson, N.J., "Problem-Solving Methods in Artificial Intelligence," 1971 McGraw-Hill. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 Ponder, C., "Prioritized Dynamic Search Control in Prolog," University of California Berkeley Internal Memo.Google ScholarGoogle Scholar
  9. 9 Taylor, S., Lowry, A., Maguire Jr, G.Q., Stolfo, S.J., "Logic Programming Using Parallel Associative Operations," 6-Feb- 84, 1984 International Symposium on Logic Programming.Google ScholarGoogle Scholar
  10. 10 Tick, E., Warren, D.H., "An Overlapped Prolog Processor," 1-Oct-83, SRI International Technical Report #308.Google ScholarGoogle Scholar
  11. 11 Shapiro, E.Y., "A Subset of Concurrent Prolog and its Interpreter," 1-Jan-83, Weizmann Institute of Science Technical Report.Google ScholarGoogle Scholar
  12. 12 Shapiro, E.Y., "Lecture Notes on Bagel: a Systolic Concurrent Prolog Machine," 1-Nov-83, ICOT Technical Memorandum #31.Google ScholarGoogle Scholar
  13. 13 Shapiro, E.Y., Takeuchi, A., "Object Oriented Programming in Concurrent Prolog," 1-Oct-83, ICOT Technical report.Google ScholarGoogle Scholar
  14. 14 Warren, D.H., "Implementing Prolog - Compiling Predicate Logic Programs," 1-May-77, University of Edinburgh Dept. of AI Technical Reports #39-40.Google ScholarGoogle Scholar
  15. 15 Wise, M.J., "A Parallel Prolog: the Construction of a Data-Driven Model," 15-Aug-82, Symposium on Lisp and Functional Programming. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Alternative proposals for implementing Prolog concurrently and implications regarding their respective microarchitectures

      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!