{"type":"ScholarlyArticle","title":"Graphical Debugging with the Transparent PROLOG Machine (TPM)","authors":[{"name":"Marc Eisenstadt","slug":"marc-eisenstadt","given":"Marc","family":"Eisenstadt","affiliation":""},{"name":"Mike Brayshaw","slug":"mike-brayshaw","given":"Mike","family":"Brayshaw","affiliation":""}],"abstract":"An augmented and/or tree representation of logic programs is presented as the basis for an advanced graphical tracing and debugging facility for Prolog. TPM can be run in slow-motion/close-up mode for novices or high-speed/longdistance mode for experts with no attendant conceptual change. Moreover, it deals correctly both with clause head matching and with the cut. The current implementation runs on Apollo workstations, and is written in Prolog.","doi":null,"url":"https://ijcai.org/proceedings/1987/15","pdf":"https://ijcai.org/proceedings/1987/0015.pdf","markdown":"https://ijcai.org/proceedings/1987/15.md","bibtex":"https://ijcai.org/proceedings/1987/bibtex/15","volume":{"slug":"1987","title":"Proceedings of the Tenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1987","url":"https://ijcai.org/proceedings/1987/","year":1987,"location":"Milan, Italy","dates":"","editors":"John McDermott","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Architectures and Languages","track":"Architectures and Languages","number":15,"pages":{"first":83,"last":85},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}