An overview of Prolog debugging tools
- 1 January 1991
- journal article
- Published by Springer Nature in Instructional Science
- Vol. 20 (2-3) , 193-214
- https://doi.org/10.1007/bf00120882
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Prolog programming techniquesInstructional Science, 1991
- A recursive techniques editor for PrologInstructional Science, 1991
- A fine-grained account of Prolog execution for teaching and debuggingInstructional Science, 1990
- The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programmingThe Journal of Logic Programming, 1988
- Graphical display of complex information within a Prolog debuggerInternational Journal of Man-Machine Studies, 1986
- The automated tutoring of introductory computer programmingCommunications of the ACM, 1986
- Rational debugging in logic programmingPublished by Springer Nature ,1986
- Learning to Program in LISP1Cognitive Science, 1984
- The black box inside the glass box: presenting computing concepts to novicesInternational Journal of Man-Machine Studies, 1981
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980