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.

Abstract

Abstract is missing.