Prolog Visualization System Using Logichart Diagrams
Informations
- Type:
- article
- Auteurs:
- Yoshihiro Adachi
- Pertinence:
-
Moyenne
- Référence:
- Doi:
- Mots-clés:
- Url:
- https://www.semanticscholar.org/paper/Prolog-Visualization-System-Using-Logichart-Adachi/7e096d355b35b0cef80c3983433984ab09b108b8
- Date de publication:
- 12/2008
- Résumé:
- Présentation de l'implémentation de Logichart qui permet de visualiser l'exécution de programmes Prologue.
- Abstract:
- We have developed a Prolog visualization system that is intended to support Prolog programming education. The system uses Logichart diagrams to visualize Prolog programs. The Logichart diagram is designed to visualize the Prolog execution flow intelligibly and to enable users to easily correlate the Prolog clauses with its parts. The system has the following functions. (1) It visually traces Prolog execution (goal calling, success, and failure) on the Logichart diagram. (2) Dynamic change in a Prolog program by calling extra-logical predicates, such as `assertz' and `retract', is visualized in real time. (3) Variable substitution processes are displayed in a text widget in real time
- Pdf:
- Lien pdf
Références
1 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| A fine-grained account of Prolog execution for teaching and debugging | article | Moyenne | Marc Eisenstadt and Mike Brayshaw | 12/1989 | 0 | 5 |
Citations
0 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Pas encore d'article | |||||||
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 |
|---|---|---|
| Yoshihiro Adachi | 1 |