A fine-grained account of Prolog execution for teaching and debugging

This publication has 5 references indexed in Scilit:

• The transparent PROLOG machine (TPM): an execution model and graphical debugger for logic programming
  The Journal of Logic Programming, 1988
• Graphical display of complex information within a Prolog debugger
  International Journal of Man-Machine Studies, 1986
• Progress report
  ACM SIGCSE Bulletin, 1984
• The Cornell program synthesizer
  Communications of the ACM, 1981
• The black box inside the glass box: presenting computing concepts to novices
  International Journal of Man-Machine Studies, 1981