Retrospective zooming: a knowledge based tracking and debugging methodology for logic programming

  • Authors:

  • Marc Eisenstadt

  • Affiliations:

  • Human Cognition Research Laboratory, The Open University, Milton Keynes, England

  • Venue:
  • IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
  • Year:
  • 1985

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper describes new tracing and debugging facilities for logic prograramming (Prolog in particular), based on a selective retrospective analysis of an exhaustive run-time trace. The tracer uses an enriched repertoire of program success/failure 'symptoms' to improve the clarity of the trace, and identifies characteristic 'symptom clusters' in order to work out the true cause of a bug.