[ Usenet FAQs | Web FAQs | Documents | RFC Index ]
Part1 - Part2 - Single Page
Top Document: FAQ: Prolog Resource Guide 1/2 [Monthly posting]
Previous Document: [1-10] Is there a straight-forward way of compiling Prolog to C?
Next Document: [1-12] What is the Basic Andorra Model and AKL?
-
Search the FAQ Archives
Part1 - Part2 - Single Page
Top Document: FAQ: Prolog Resource Guide 1/2 [Monthly posting]
Previous Document: [1-10] Is there a straight-forward way of compiling Prolog to C?
Next Document: [1-12] What is the Basic Andorra Model and AKL?
[1-11] WAM emulators and tracers
Johan Bevemyr's Luther-based WAM-tracer is available by anonymous ftp from Uppsala University in Sweden. It includes a simple compiler from Prolog to WAM code and a low-level WAM code tracer written in emacs-lisp. The tracer splits the screen into regions to show data-areas, registers, and so on. You can then step through running the code. The tracer is available by anonymous ftp from ftp.csd.uu.se:/pub/WAM-tracer/luther.tar.Z Documentation on the tracer is included in the distribution. The emulator is in the /pub/WAM-emulator/ directory (and runs in SICStus Prolog). For more information, contact Johan Bevemyr <bevemyr@csd.uu.se> or <bevemyr@sics.se>.
Top Document: FAQ: Prolog Resource Guide 1/2 [Monthly posting]
Previous Document: [1-10] Is there a straight-forward way of compiling Prolog to C?
Next Document: [1-12] What is the Basic Andorra Model and AKL?
Part1 - Part2 - Single Page
[ Usenet FAQs | Web FAQs | Documents | RFC Index ]
Send corrections/additions to the FAQ Maintainer:
mkant+prg@cs.cmu.edu
Last Update October 22 2009 @ 05:33 AM