×

zbMATH — the first resource for mathematics

Logichart – intelligible program diagram for Prolog and its processing system. (English) Zbl 0966.68038
DucassĂ©, Mireille (ed.) et al., WLPE ’99. 10th workshop on logic programming environments, Las Cruces, NM, USA, November 29, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 30,4, 13 p., electronic only (1999).
Summary: An intelligible program diagram called Logichart has been developed for Prolog visualization. Its syntax rules and layout rules are formalized in terms of an attribute graph grammar. This grammar is underlain by a context-free graph grammar whose productions are defined to formalize the graph-syntax rules of Logichart diagrams. Semantic rules attached to the productions are defined in such a way that they can extract the layout information needed to display a Logichart diagram as attributes. Our Prolog visualization system, which has been implemented based on the attribute graph grammar, can draw a Logichart diagram for any correct Prolog program (completeness), and any Logichart diagram displayed by the system is always valid for the grammar (soundness). The system can also display the execution of a Prolog program in real time; that is, the Logichart diagram is dynamically updated as the program runs.
For the entire collection see [Zbl 0942.00052].
MSC:
68N17 Logic programming
Software:
Logichart
PDF BibTeX XML Cite
Full Text: Link
References:
[1] Eisenstadt, M.; Brayshaw, M.: A fine-grained account of prolog execution for teaching and debugging. Instructional science 19, No. No. 4, 407-436 (1990)
[2] Brayshaw, M.; Eisenstadt, M.: A practical graphical tracer for prolog. Int. J. Man-machine studies 35, 597-631 (1991)
[3] Tamir, D. E.; Ananthakrishnan, R.; Kandel, A.: A visual debugger for pure prolog. Information sciences 3, 127-147 (1995)
[4] Adachi, Y.; Imaki, T.; Tsuchida, K.; Yaku, T.: Prolog visualization based on attribute graph grammar. Proc. CDROM the fundamental conference of 15th IFIP WCC’98 (1998)
[5] Dewar, A. D.; Cleary, J. G.: Graphical display of complex information within a prolog debugger. Int J. Man-machine studies 25, 503-521 (1986)
[6] Adachi, Y.; Anzai, K.; Tsuchida, K.; Yaku, T.: Hierarchical program diagram editor based on attribute graph grammar. Proc. 20th IEEE COMPSAC, 205-213 (1996)
[7] Adachi, Y.; Miyadera, Y.; Sugita, K.; Tsuchida, K.; Yaku, T.: A visual programming environment based on graph grammars and tidy graph drawing. Proc. 20th international conference on software engineering 2, 74-79 (1998)
[8] Rozenberg, G.: Handbook of graph grammars and computing by graph transformation. 553 (1997) · Zbl 0908.68095
[9] Yaku, T.; Futatsugi, K.; Adachi, A.; Moriya, E.: HICHART - A hierarchical flowchart description language -. Proc. IEEE COMPSAC 11, 157-163 (1987)
[10] SICStus Syntax Version 3 #5, http://www.sics.se/ps/sicstus.html, 1997.
[11] IF/Prolog V5.0A Manual, IF Computer Japan Limited, 1994.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.