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

  • Julio García Martín
  • Juan José Moreno-Navarro
System Descriptions
Part of the Lecture Notes in Computer Science book series (LNCS, volume 624)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AK91]
    H. Aït-Kaci: The WAM: A (Real) Tutorial, The MIT Press, 1991Google Scholar
  2. [BR91]
    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.' 91Google Scholar
  3. [GLLO85]
    J. Gabriel, T. Lindholm, E.L. Lusk, R.A. Overbeck: A Tutorial for the WAM for Computational Logic, ANL-64-84, Argonne Nat. Lab., 1985Google Scholar
  4. [Ku89]
    P. Kursawe: How to Invent a Prolog Machine, New Generation Comp., 5, 1989.Google Scholar
  5. [MW88]
    D. Maier, D.S. Warren: Computing with Logic: Logic Programming with PROLOG, Ed. Benjamin Cummings, 1988Google Scholar
  6. [Ru89]
    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. [Wa83]
    D.H.D. Warren: An Abstract PROLOG Instruction Set, Technical Note 309, SRI International, Menlo Park, California, October 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Julio García Martín
    • 1
  • Juan José Moreno-Navarro
    • 1
  1. 1.Departamento LSIIS, Facultad de Informática, Campus de MontegancedoUniversidad Politécnica de MadridMadridSpain

Personalised recommendations