The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming

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},
}