Prolog Visualization System Using Logichart Diagrams

Simple item page
dc.creatorAdachi, Yoshihiro
dc.date2009-03-12
dc.date.accessioned2026-07-07T12:55:59Z
dc.date.available2026-07-07T12:55:59Z
dc.descriptionWe 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.
dc.descriptionPaper presented at the 18th Workshop on Logic-based Methods in Programming Environments (WLPE2008, arXiv:0903.1598). Paper submitted by a co-editor of the Workshop proceedings
dc.identifierhttps://arxiv.org/abs/0903.2207
dc.identifierhttp://arxiv.org/abs/0903.2207
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/224437
dc.subjectProgramming Languages
dc.subjectHuman-Computer Interaction
dc.subjectSoftware Engineering
dc.titleProlog Visualization System Using Logichart Diagrams
dc.typetext

Files

Collections

arXiv