ML Anthology

Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming

Marc Eisenstadt
IJCAI 1985 pp. 717-719
/ijcai/1985/eisenstadt1985ijcai-retrospective/

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.

PDF Semantic Scholar

Cite

Text

Eisenstadt. "Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Eisenstadt. "Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/eisenstadt1985ijcai-retrospective/)

BibTeX

@inproceedings{eisenstadt1985ijcai-retrospective,
  title     = {{Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming}},
  author    = {Eisenstadt, Marc},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {717-719},
  url       = {https://mlanthology.org/ijcai/1985/eisenstadt1985ijcai-retrospective/}
}