CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

WAM: WAM emulators and tracers.


   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