A Visual Logic Programming Language Based on Sets and Partitioning Constraints

This paper presents a new programming language named SPARCL that has four major elements: it is a visual language, it is a logic programming language, it relies on sets to organize data, and it supports partitioning constraints on the contents of sets. It is a visual programming language in that the representation of the language depends extensively on non-textual graphics and the programming process relies on graphical manipulation of this representation. It is a logic programming language in that the underlying semantics of the language is the resolution of clauses of a Horn-like subset of first order predicate logic. It uses sets as the only method of combining terms to build complex terms. Finally, one may constrain a set's structure by specifying a partitioning into pairwise disjoint subsets. Rationale Visual programming languages (VPLs) can be much easier to understand than linear text-based programming languages, since the expression of a programming task visually can more...

• Type: Conference
• Year: 1993
• Where: VL
• Authors: Lindsey L. Spratt, Allen L. Ambler
• Keywords: Logic Programming Language, Programming Languages, Visual Languages, Visual Programming Languages, VL 1993