Skip to main content
SpringerLink
Log in

WAM algebras—A mathematical study of implementation Part 2

  • Conference paper
  • First Online:
Logic Programming

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 592))

Abstract

In direct sequel to [Boerger,Rosenzweig 91aj, term representing algebras are introduced, providing an evolving algebra account of WAM representation of terms and their unification. Prolog algebras of the preceeding paper are adapted to term representation, yielding, upon optimization, a mathematical reconstruction of the full WAM, and a proof of its correctness wrt to abstract Prolog algebras, given that the compiler satisfies a set of (explicitly stated) sufficient conditions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Aït-Kaci,H. The WAM: A (Real) Tutorial. PRL Research Report 5, Digital Equipment Corporation, Paris Research Laboratory 1990.

    Google Scholar 

  2. Borger, E. & Rosenzweig D. From Prolog Algebras Towards WAM—A Mathematical Study of Implementation. In: CSL '90, 4th Workshop on Computer Science Logic (Eds. E.Börger, H.Kleine Büning,M.M.Richter,W.Schönfeld), Springer LNCS 533, 1991., pp. 31–66

    Google Scholar 

  3. Börger, E. &: Rosenzweig D. An Analysis of Prolog Database Views and Their Uniform Implementation CSE-TR-88-91, University of Michigan, Ann Arbor, Michigan, 1991.

    Google Scholar 

  4. Börger, E. & Rosenzweig D. WAM Algebras—A Mathematical Study of Implementation, itPart 2. CSE-TR-89-91, University of Michigan, Ann Arbor, Michigan, 1991.

    Google Scholar 

  5. Lloyd, J.W. Foundations of Logic Programming, Springer, Berlin-Heidelberg-New York-Tokyo 1984.

    Google Scholar 

  6. North, N.D. & Scowen, R.S. ISO/IEC JTCI SC22 WG 17 N.72, 1991.

    Google Scholar 

  7. Warren, D.H.D. An Abstract Prolog Instruction Set, Technical Note 309, Artifficial Intelligence Center, SRI International 1983.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. di Informatica, Universita di Pisa, Cso Italia 40, I-56100, Pisa

    Egon Börger

  2. FSB, University of Zagreb, Salajeva 5, YU-41000, Zagreb

    Dean Rosenzweig

Authors
  1. Egon Börger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dean Rosenzweig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

A. Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Börger, E., Rosenzweig, D. (1992). WAM algebras—A mathematical study of implementation Part 2. In: Voronkov, A. (eds) Logic Programming. Lecture Notes in Computer Science, vol 592. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55460-2_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-55460-2_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55460-8

  • Online ISBN: 978-3-540-47083-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation