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

by M Eisenstadt, M Brayshaw
Venue:Journal of Logical Programming