Marc Eisenstadt Mike Brayshaw The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming. 277-342 1988 5 J. Log. Program. 4 db/journals/jlp/jlp5.html#EisenstadtB88