etrace - Graphical Prolog Tracer in Emacs

To augment the textual Prolog tracer's output with positional information, download the Prolog library etrace to your program directory, and add to your Prolog program:

      :- use_module(etrace).

To use that information in Emacs, copy etrace.el to your home directory and add to your .emacs:

      (load "~/etrace")

Restart Emacs, open a Prolog program that contains a use_module(etrace) declaration, do M-x etrace and enter a query to start tracing a goal in that file.

You can also use the positional information emitted from an existing shell buffer or Prolog process created by the Prolog editing mode: Switch to the process buffer and do M-x etrace-attach RET.

A screenshot is here.

An example Prolog file is here. Try M-x etrace RET turing([1], Ts) RET

Main page