The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programming

Bundy, 1986, A Proposed Prolog Story, DAI Research Paper 283 Bundy, 1986, Impurities and the Proposed Prolog story, DAI Research Paper Addendum Byrd, 1980, Understanding the control flow of Prolog programs, 127 Coelho, 1982 Coombs, 1986, Debugging user conceptions of interpretation processes, Proceedings of the Fifth National Conference on Artificial Intelligence (AAAI-86) Coombs, 1985, A Model for Debugging Prolog by Symbolic Execution: The Separation of Specification and Procedure, Research Report MMIGR137 duBoulay, 1981, The black box inside the glass box: Presenting computing concepts to novices, Internat. J. Man-Machine Stud., 14, 237, 10.1016/S0020-7373(81)80056-9 Dewar, 1986, Graphical display of complex information within a Prolog debugger, Internat. J. Man-Machine Stud., 25, 503, 10.1016/S0020-7373(86)80020-7 Eisenstadt, 1983, A user-friendly software environment for the novice programmer, Comm. ACM, 26, 10.1145/358476.358500 Eisenstadt, 1984, A powerful Prolog trace package Eisenstadt, 1985, Retrospective zooming: A knowledge based tracing and debugging methodology for logic programming 1988 Francez, 1985, An environment for logic programming, ACM Workshop on Software Engineering Environments, 179 Kahn, 1984, A grammar kit for Prolog Komorowski, 1985, A model and an implementation of a logic programming environment, ACM Workshop on Software Engineering Environments, 191 Lloyd, 1986, Declarative Error Diagnosis Matsumoto, 1985, A Static Analysis of Prolog Programs, Programming System Group Note 24 Model, 1979, Monitoring System Behavior in a Complex Computational Environment, Technical Report No. CSL-79-1 Pain, 1987, What stories should we tell novice Prolog programmers Pereira, 1986, Rational debugging in logic programming, Proceedings of the Third International Conference on Logic Programming, 10.1007/3-540-16492-8_76 Plaisted, 1984, An efficient bug location algorithm, Proceedings of the Second International Conference on Logic Programming, 151 Plummer, 1987, Coda: An Extended Debugger for Prolog, AI TR 87-54 Rajan, 1986, apt: A Principled Design for an Animated View of program Execution for Novice Programmers, Technical Report No. 19 Reiss, 1984, Graphical program development with pecan program development systems, ACM SIGPLAN Notices No. 19, 5 1986 Shapiro, 1982, Algorithmic Program Debugging Winograd, 1983, Language as a Cognitive Process. Volume 1: Syntax Winston, 1977, Artificial Intelligence