Advertisement

From prolog algebras towards WAM-A mathematical study of implementation

  • Egon Börger
  • Dean Rosenzweig
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 533)

Abstract

This is the first part of a work presenting a natural and transparent albeit entirely mathematical description of Warren's 1983 abstract machine for executing Prolog. We derive the description from Börger's 1990b phenomenological description of the language, refining Prolog algebras stepwise, proving conservation of correctness at each step.

Keywords

Operational Semantic Horn Clause Abstract Machine Prolog Program Pointer Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aït-Kaci, K. 1990: The WAM: A (Real) Tutorial, PRL Research Report 5, Digital Equipment Corporation, Paris Research LaboratoryGoogle Scholar
  2. Börger, E. 1990a: A Logical Operational Semantics of Full Prolog. Part I. Selection Core and Control, in: CSL '89. 3rd Workshop on Computer Science Logic (Eds. E. Börger, H. Kleine Büning, M. Richter), Springer LNCS 440, pp. 36–64Google Scholar
  3. Börger, E. 1990b: A Logical Operational Semantics of Full Prolog. Part II. Built-in Predicates for Database Manipulations, in: MFCS '90. Mathematical Foundations of Computer Science (B. Rovan, Ed.), Springer LNCS 452, pp. 1–14Google Scholar
  4. Börger, E. 1991: A Logical Operational Semantics of Full Prolog. Part III. Built-in Predicates for Files, Terms, Arithmetic and Input-Output. In: Proc. Workshop on Logic from Computer Science (Y. Moschovakis, Ed.), Berkeley 1989, Springer MSRI Publications (to appear)Google Scholar
  5. Börger, E. & Rosenzweig D. 1991: WAM Algebras-A Mathematical Study of Implementation, Part II, in preparationGoogle Scholar
  6. Börger, E. & Schmitt P. 1991: A Formal Operational Semantics for Languages of Type Prolog III, this volumeGoogle Scholar
  7. DFPS 1990: Deransart, P., Folkjær P., Pique, J-F., Scowen, R. S: Prolog. Draft for Working Draft 4.0, ISO/IEC JTC1 SC22 WG 17 No 64, September 1990Google Scholar
  8. Gurevich, Y. 1988: Logic and the Challenge of Computer Science, in: Trends in Theoretical Computer Science (E. Börger ed.), Computer Science Press, pp. 1–57Google Scholar
  9. Gurevich, Y. 1991: Evolving Algebras. A Tutorial Introduction, in: EATCS Bulletin 43, February 1991Google Scholar
  10. Gurevich, Y. & Morris, J. M. 1988: Algebraic Operational Semantics and Modula-2, in: CSL '87. 1st Workshop on Computer Science Logic (Eds. E. Börger, H. Kleine Büning, M. Richter), Springer LNCS 329, pp. 81–101Google Scholar
  11. Gurevich, Y. & Moss, L. S. 1990: Algebraic Operational Semantics and Occam, in: CSL '90. 3rd Workshop on Computer Science Logic (Eds. E. Börger, H. Kleine Büning, M. M. Richter), Springer LNCS 440, pp. 176–192Google Scholar
  12. Lindholm, T. G. & O'Keefe, R. A. 1987: Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code, in: Proceedings of the Fourth International Conference on Logic Programming, pp. 21–39Google Scholar
  13. North, N. D. & Scowen, R. S. 1990: Budapest 1990 Meeting ISO/IEC JTC1 SC22 WG 17 No 68, November 1990Google Scholar
  14. Rusinoff, D. M. 1989: A Verified Prolog Compiler for the Warren Abstract Machine, MCC Technical Report ACT-ST-292-89, Austin, TexasGoogle Scholar
  15. Semle, H. 1989: Erweiterung einer abstrakten Maschine für ordnungssortiertes Prolog um die Behandlung polymorpher Sorten, IWBS Report 75, IBM DeutschlandGoogle Scholar
  16. Warren, D. H. D. 1983: An Abstract Prolog Instruction Set, Technical Note 309, Artificial Intelligence Center, SRI InternationalGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Egon Börger
    • 1
  • Dean Rosenzweig
    • 2
  1. 1.Dipartimento di InformaticaPisaItalia
  2. 2.University of Zagreb FSBZagrebYugoslavia

Personalised recommendations