Graphical Debugging with the Transparent PROLOG Machine (TPM)

Eisenstadt, Marc; Brayshaw, Mike

Graphical Debugging with the Transparent PROLOG Machine (TPM)

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Architectures and Languages. Pages 83-85.

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.

Marc Eisenstadt, and Mike Brayshaw. 1987. Graphical Debugging with the Transparent PROLOG Machine (TPM). In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 83–85. https://ijcai.org/proceedings/1987/15

@inproceedings{ijcai1987p15,
  title     = {Graphical Debugging with the Transparent PROLOG Machine (TPM)},
  author    = {Eisenstadt, Marc and Brayshaw, Mike},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {83--85},
  year      = {1987},
  note      = {Architectures and Languages},
  url       = {https://ijcai.org/proceedings/1987/15},
}

TY  - CPAPER
TI  - Graphical Debugging with the Transparent PROLOG Machine (TPM)
AU  - Eisenstadt, Marc
AU  - Brayshaw, Mike
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 83
EP  - 85
UR  - https://ijcai.org/proceedings/1987/15
ER  -