ViCoLL - a visual compositional logic language

Abstract

CombiLog is a logic programming language that uses a small set of basic operators to build larger structures. Although the programs are built strictly through composition, the resulting code is often difficult to read and understand. Empirical studies on program creation both with visual programming language and traditional programming indicate that visual approaches may outperform traditional approaches to programming. Thus, CombiLog could gain largely from a visual interface to support the development process. With a visual interface the resulting system can be regarded as a declarative visual logic programming language, ViColl.