Skip to main content
SpringerLink
Log in

FRIENDLY-WAM: An interactive tool to understand the compilation of PROLOG

  • System Descriptions
  • Conference paper
  • First Online:
Logic Programming and Automated Reasoning (LPAR 1992)

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

  • 123 Accesses

Abstract

The present paper makes a brief description of an environment which can be used for the emulation of the Warren Abstract Machine. It has the capability to show the user the internal behaviour of the WAM during a program execution. The tool provides an interactive and friendly interface with the machine, allowing to follow the evolution of a WAM program step by step and with different detail degrees.

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

References

  1. H. Aït-Kaci: The WAM: A (Real) Tutorial, The MIT Press, 1991

    Google Scholar 

  2. E. Böerger, D. Rosenzweig: WAM Algebras—A Mathematical Study of Implementation, Part I in Proc. CSL'90, Part II in Proc. Russian Conf. on Logic Prog.' 91

    Google Scholar 

  3. J. Gabriel, T. Lindholm, E.L. Lusk, R.A. Overbeck: A Tutorial for the WAM for Computational Logic, ANL-64-84, Argonne Nat. Lab., 1985

    Google Scholar 

  4. P. Kursawe: How to Invent a Prolog Machine, New Generation Comp., 5, 1989.

    Google Scholar 

  5. D. Maier, D.S. Warren: Computing with Logic: Logic Programming with PROLOG, Ed. Benjamin Cummings, 1988

    Google Scholar 

  6. D.M. Russinoff: A Verified Prolog Compiler for the Warren Abstract Machine, MCC Tec. Rep. N. ACT-ST-292-89, Austin 1989, (to appear in J. of Logic Program., 1992)

    Google Scholar 

  7. D.H.D. Warren: An Abstract PROLOG Instruction Set, Technical Note 309, SRI International, Menlo Park, California, October 1983

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento LSIIS, Facultad de Informática, Campus de Montegancedo, Universidad Politécnica de Madrid, Boadilla del Monte, 28660, Madrid, Spain

    Julio García Martín & Juan José Moreno-Navarro

Authors
  1. Julio García Martín
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Juan José Moreno-Navarro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martín, J.G., Moreno-Navarro, J.J. (1992). FRIENDLY-WAM: An interactive tool to understand the compilation of PROLOG. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1992. Lecture Notes in Computer Science, vol 624. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013096

Download citation

  • DOI: https://doi.org/10.1007/BFb0013096

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55727-2

  • Online ISBN: 978-3-540-47279-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation