Automatic debugging of Prolog programs in a Prolog Intelligent Tutoring System

This publication has 7 references indexed in Scilit:

• Rational debugging in logic programming
  Published by Springer Nature ,1986
• Eliminating unwanted loops in Prolog
  ACM SIGPLAN Notices, 1985
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• Cognitive strategies and looping constructs
  Communications of the ACM, 1983
• Algorithmic Program Debugging
  Published by MIT Press ,1983
• Prolog - the language and its implementation compared with Lisp
  ACM SIGPLAN Notices, 1977
• Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"
  ACM SIGART Bulletin, 1972