Visualisation of declarative relational programming
2003 (English)In: Proceedings of International Conference on Advances in Infrastructure for Internet, Processing, Systems and the Interdisciplinaries, 2003Conference paper (Refereed)
This paper proposes a graphic interface to an operator based relational (logic) programming language, Com-biLog. This interface is a declarative Visual Composi-tional Logic Language (ViCoLL) built on CombiLog in which a program is composed recursively from more primitive predicates by using composition operators. In the tradition of structural programming, Combilog is applied to facilitate the use of declarative relational programming languages by making them compositional. In relational programming, however, compositionality comes at the price of reduced readability. As a possible remedy, we investigate and present a visualisation of the theoretic semantics of Combilog. The semantics are visually displayed by means of a combination of Venn and Euler diagrams, which are modified to cope with larger programs. Our hypothesis is that visualising the semantics of the programs in the interface will promote comprehensibility since it conveys the meaning of the program stripped of unnecessary detail.
Place, publisher, year, edition, pages
Visual Declarative Programming Language, Software Visualisation, Visual Logic Programming
IdentifiersURN: urn:nbn:se:uu:diva-47057OAI: oai:DiVA.org:uu-47057DiVA: diva2:74964