Software engineering and artificial intelligence in new generaton computing
Future Generation Computer Systems
ACM SIGPLAN Notices
Graphical display of complex information within a Prolog debugger
International Journal of Man-Machine Studies
A Prolog based graphical approach for task level specifications
Proc. of the NATO Advanced Research Workshop on Languages for sensor-based control in robotics
Enhancing program readability and comprehensibility with tools for program visualization
ICSE '88 Proceedings of the 10th international conference on Software engineering
Communications of the ACM
An object-oriented framework for graphical programming (summary paper)
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
The Science of Programming
The Psychology of Cognition
Negation and Quantifiers in NU-Prolog
Proceedings of the Third International Conference on Logic Programming
Proofs of Declarative Properties of Logic Programs
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Semiology of graphics
Visual Languages: A Tutorial and Survey
IEEE Software
Structured Analysis (SA): A Language for Communicating Ideas
IEEE Transactions on Software Engineering
Exploring the general-purpose visual alternative
Journal of Visual Languages and Computing
Journal of Visual Languages and Computing
Taxonomies of visual programming and program visualization
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
In this paper, we argue that visual programming can be greatly enhanced by integrating some cognitive aspects when designing a visual language. We try to apply some interesting rules-established by Bertin on experimental evidence-to get graphical views which have a good picture quality and hence do not have to be read in a linear way. We introduce VLP, a visual logic programming language, which supports program composition and editing in both textual and graphical representations with correspondance between the two views of the program being automatically maintained by the system. The goal of this work is to facilitate the development and reuse of Prolog prototypes through a complementary use of graphical and textual views. In particular, we use graphics to put forward the relational nature of logic programming and, thus, help the user to get a deep understanding of the declarative semantics of his programs. We explain the motivation of design choices, provide an overview of system capabilities, and evaluate system advantages and drawbacks.