CMU Artificial Intelligence Repository
WAM: WAM emulators and tracers.
lang/prolog/impl/wam/
luther/ Luther: Luther-based WAM tracer.
wam_int/ WAM-Int: WAM interpreter
References:
Ait-Kaci, Hassan, "Warren's Abstract Machine: A Tutorial Reconstruction",
MIT Press, Cambridge, MA. 1991.
125 pages, ISBN 0-262-51058-8 paper ($17.50), 0-262-01123-9 cloth.
Patrice Boizumault, "The Implementation of Prolog", Princeton
University Press, Princeton, NJ, 1993. Translated by Ara M.
Djamboulian and Jamal Fattouh. ISBN 0-691-08757-1, 357 pages ($49.50).
Campbell, J.A. (ed): "Implementations of Prolog", John Wiley, 1984
Peter M. Kogge, "The Architecture of Symbolic Computers",
McGraw-Hill, 1991. ISBN 0-07-035596-7.
Includes sections on memory management, the SECD and
Warren Abstract Machines, and overviews of the various
Lisp Machine architectures.
David H. D. Warren: "An Abstract Prolog Instruction Set", Technical Note
No 309, SRI International, Menlo Park, CA, 1983.
David H. D. Warren, "Logic Programming and Compiler Writing," in
Software-Practice and Experience 10(2):97-125, 1980.
J. Cohen and T. Hickey, "Parsing and Compiling using Prolog",
ACM Transactions on Programming Languages and Systems (TOPLAS),
9(2):125-163, 1987.
J. Paakki, "Prolog in practical compiler writing", The Computer
Journal 34(1):64-72, 1991. (But see Letters to the Editor, The
Computer Journal 35(3):313, 1992.)
Jonathan P. Bowen, "From Programs to Object Code using Logic and Logic
Programming", in R. Giegerich and S. L. Graham, editors, Code
Generation -- Concepts, Tools, Techniques, pages 173-192,
Springer-Verlag, 1992.
Jonathan P. Bowen, "From Programs to Object Code and back again using
Logic Programming: Compilation and Decompilation", Journal of
Software Maintenance: Research and Practice 5(4):205-234, December 1993.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Keywords:
Programming Languages!WAM, Prolog!Implementations, WAM
Last Web update on Mon Feb 13 10:35:24 1995
AI.Repository@cs.cmu.edu