Marc Eisenstadt, Mike Brayshaw. The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming. Journal of Logic and Algebraic Programming, 5(4):277-342, 1988.
@article{EisenstadtB88, title = {The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming}, author = {Marc Eisenstadt and Mike Brayshaw}, year = {1988}, tags = {Prolog, logic programming, debugging, programming, logic}, researchr = {https://researchr.org/publication/EisenstadtB88}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {5}, number = {4}, pages = {277-342}, }