A tool to visualise Prolog traces.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.


Prolog Trace Visualisation Toolkit

Welcome to the Prolog Visualisation Toolkit. This project exists out of frustration at the lack of such tools available to both understand and debug Prolog code that I am reading and writing for a module at Hull University. This project aims to act as a place in which I (and hopefully you too!) can write tools to visualise Prolog code in order to gain a better understanding as to how it works.

For now, this repository contains a web based tool that given a Prolog trace (examples are in the test_traces folder), produces a diagram that represents that trace. The next step will be to animate the diagram.

Getting Started

Currently the latest working version of this code is hosted on GitHub Pages. You can find it here.

If you want to run the bleeding edge version, simply clone this repository and open index.html in your browser. Help cloning is available if you open an issue.


If you want to help out, there are several things you can do:

  • Open an issue if you find a trace that breaks the diagram.
  • Fork this repository and play around with the code. Remember to commit to the master branch and not the gh-pages branch!



This code is released under the MPL 2.0. If you don't know what that means, tl;dr Legal have an excellent explanation. If this license isn't suitable, please open an issue and I will try and sort it out.


This tool uses the following libraries: