Marc Eisenstadt Mike Brayshaw Graphical Debugging with the Transparent PROLOG Machine (TPM). 83-86 1987 IJCAI db/conf/ijcai/ijcai87.html#EisenstadtB87