A direct execution architecture for Prolog?

ABSTRACT

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

REFERENCES

• 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.
• Brady 1988: Brady, M. "Oh! Prolog - An interpreter for Prolog" Proceedings of AI/CS '88, Department of Computer Science, University College Dublin Ireland, 1988.
• Bruynooghe 1982: Bruynooghe. M. "The Memory Management of Prolog Implementations" Logic Programming (eds. Clark, K. ~ Tanlund S.-A.). Academic Press, London, 1982.
• Clocksin & Mellish 1981: W F. Clocksin , Christopher S. Mellish, Programming in Prolog (2nd ed.), Springer-Verlag New York, Inc., New York, NY, 1984
• Gee Melvin & Patt 1986: J. Gee , S. W. Melvin , Y. N. Patt, The implementation of Prolog via VAX 8600 microcode, Proceedings of the 19th annual workshop on Microprogramming, p.68-74, October 15-17, 1986, New York, New York, United States
• 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.
• Hermenegildo 1986: Manuel V Hermenegildo, An abstract machine for restricted AND-parallel execution of logic programs, Proceedings on Third international conference on logic programming, p.25-39, September 1986, London, United Kingdom
• 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.
• Milutinovic 1989: V. M. Milutinovic, High-Level Language Computer Architecture, Computer Science Press, Inc., New York, NY, 1989
• Warren 1977: Warren, D.H.D. "Implementing Prolog -- Compiling Predicate Logic Programs", Research Reports 39 ~ 40, Department of Artificial Intelligence, University of Edinburgh, 1977.
• Warren 1983: Warren, D.H.D. "An Abstract Prolog Instruction Set", Technical Note 309. Artificial Intelligence Center, SRI International, Menlo Park CA, 1983.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Prolog

Additional Classification:
  B. Hardware
  B.1 CONTROL STRUCTURES AND MICROPROGRAMMING
      B.1.4 Microprogram Design Aids
          Subjects: Languages and compilers
      B.1.5 Microcode Applications
          Subjects: Instruction set interpretation

  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES

General Terms:
Design, Languages, Performance