{"type":"ScholarlyArticle","title":"Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming","authors":[{"name":"Marc Eisenstadt","slug":"marc-eisenstadt","given":"Marc","family":"Eisenstadt","affiliation":""}],"abstract":"This paper describes new tracing and debugging facilities for logic programmming (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.","doi":null,"url":"https://ijcai.org/proceedings/1985/140","pdf":"https://ijcai.org/proceedings/1985/0140.pdf","markdown":"https://ijcai.org/proceedings/1985/140.md","bibtex":"https://ijcai.org/proceedings/1985/bibtex/140","volume":{"slug":"1985","title":"Proceedings of the Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1985","url":"https://ijcai.org/proceedings/1985/","year":1985,"location":"Los Angeles, California, USA","dates":"","editors":"Aravind Joshi","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Logic Programming","track":"Logic Programming","number":140,"pages":{"first":717,"last":718},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}