The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programmin...
Informations
- Type:
- article
- Auteurs:
- Marc Eisenstadt and Mike Brayshaw
- Pertinence:
-
Haute
- Référence:
- Doi:
- Mots-clés:
- Url:
- https://www.sciencedirect.com/science/article/pii/0743106688900015?via%3Dihub
- Date de publication:
- 12/1987
- Résumé:
- Proposition d'un modèle d'exécution des programmes Prologue avec représentation graphique. N'utilise pas des nodes mais des "status boxes". Il est possible d'exécuter ces représentations au ralentit pour aider à la compréhension. Possibilité aussi de zoomer sur les graphes d'exécutions plus grands.
- 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. An extension of our earlier work on “retrospective zooming”, this representation offers several distinct advantages over existing tracing and debugging facilities: (1) it naturally incorporates traditional and⧸or trees and Byrd box models (call⧸exit⧸fail⧸redo procedural models) as special cases; (2) it can be run in slow-motion, close-up mode for novices or high-speed, long-distance mode for experts with no attendant conceptual change; (3) it serves as the uniform basis for textbook material, video-based teaching material, and an advanced user interface for experienced PROLOG programmers; (4) it tells the truth about clause head matching and deals correctly with the cut. One of the key insights underlying the work is the realization that it is possible to display an execution space of several thousand nodes in a meaningful way on a modern graphics workstation. By enhancing and⧸or trees to include “status boxes” rather than simple “nodes”, it is possible to display both a long-distance view of execution and the full details of clause-head matching. Graphical “collapsing” techniques enable the model to deal with user-defined abstractions, higher-order predicates such as setof, and definite-clause grammars. The current implementation runs on modern graphics workstations and is written in PROLOG.
- Pdf:
- Lien pdf
Références
0 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Pas encore d'article | |||||||
Citations
2 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Design and Implementation of an Interpreter Engine for a Visual Logic Programming Language Omid | inproceedings | Haute | Banyasad and Philip T. Cox | 10/2013 | 9 | 0 | |
| Software Visualization and Education - Introduction | inproceedings | Faible | John Domingue | 12/2000 | 5 | 0 |
Mots-clés
0 mots-clés
| Nom | Nombre d'articles | Actions |
|---|---|---|
| Pas encore de mot-clé | ||
Auteurs
1 auteurs
| Nom | Nombre d'articles | Actions |
|---|---|---|
| Marc Eisenstadt and Mike Brayshaw | 2 |