Mike Brayshaw

An Architecture for Visualizing the Execution of Parallel Logic Programs

Graphical Debugging with the Transparent PROLOG Machine (TPM)