A fine-grained account of Prolog execution for teaching and debugging
Informations
- Type:
- article
- Auteurs:
- Marc Eisenstadt and Mike Brayshaw
- Pertinence:
-
Moyenne
- Référence:
- Doi:
- Mots-clés:
- Url:
- https://www.researchgate.net/publication/225936439_A_fine-grained_account_of_Prolog_execution_for_teaching_and_debugging
- Date de publication:
- 12/1989
- Résumé:
- Déjà un autre article similaire des mêmes auteurs.
- Abstract:
- A clear and consistent execution model of any programming language can lay the foundations not only for a good leaming experience, but also for a smoother design/edit/run/debug cycle. In this paper, we describe our attempt to construct precisely such a model for the logic programming language Prolog, based upon a notational extension of logic programming's traditional AND/OR trees. Our extension, called the AORTA diagram, is an And/OR Tree, Augmented to include invocation history status boxes at each node. This augmentation makes it possible to present a graphical view of Prolog execution which is very compact, yet which contains complete details of unification and control history, including multiple (backtracking) invocations and extra-logical features such as the cut. The paper describes our fine-grained view of Prolog execution in detail, and argues that this fine-grained view can readily be integrated into a coarse-grained model such as thatrequired for understanding the execution of very large programs. Indeed, our notation is already in use across a range of media, including textbook diagrams, video animations, and a graphical tracing and debugging facility running on modem graphics workstations.
- Pdf:
- Lien pdf
Références
0 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Pas encore d'article | |||||||
Citations
5 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 | |
| Prolog Visualization System Using Logichart Diagrams | article | Moyenne | Yoshihiro Adachi | 12/2008 | 1 | 0 | |
| PrettyProlog : A Java Interpreter and Visualizer of Prolog Programs | inproceedings | Moyenne | Alessio Stalla and Viviana Mascardi and Maurizio Martelli | 12/2008 | 1 | 0 | |
| Logichart: A Prolog Program Diagram and its Layout | article | Haute | Yoshihiro Adachi and Yudai Furusawa | 12/2006 | 1 | 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 |