Visual Metaphors fro Understanding Logic Program Execution
Informations
- Type:
- inproceedings
- Auteurs:
- Eric Neufeld and Anthony J. Kusalik and Michael Dobrohoczki
- Pertinence:
-
Moyenne
- Référence:
- Doi:
- Mots-clés:
- Url:
- https://www.researchgate.net/publication/2803123_Visual_Metaphors_for_Understanding_Logic_Program_Execution
- Date de publication:
- 12/1996
- Résumé:
- Pour simplifier le débogage des programmes Prologue, proposition d'une représentation graphique de l'exécution de ces programmes pour aider les étudiants.
- Abstract:
- A classic notion in logic programming is the separation of logic and control. Logic is for problem solving; control is for directing inference. However, practical experience in the classroom suggests that problem-solving students nonetheless devote much effort to understanding control issues such as eliminating looping behaviours and improving program efficiency. In the case of Prolog, this requires a clear understanding of the operation of both unification and backtracking. Students often try to get this understand by tracing executions, but the common fourport debugger used in Prolog is not as helpful as it could be. In particular, it provides information in low bandwidth textual form. This paper describes a new visualization system for logic programming that uses colour tagging to trace unification through the Prolog proof tree. A user can dynamically "tag" a term or subterm with a colour that is immediately propagrated through the displayed tree. The colour is also propagated thr...
- Pdf:
- Lien pdf
Références
0 articles
| Titre | Type | Pertinence | Auteurs | Date Publication | Références | Citations | Actions |
|---|---|---|---|---|---|---|---|
| Pas encore d'article | |||||||
Citations
1 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 |
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 |
|---|---|---|
| Eric Neufeld and Anthony J. Kusalik and Michael Dobrohoczki | 1 |