GRAFLOG: Programming with Interactive Graphics and PROLOG

GRAFLOG is an experimental graphical and logical programming language. The system supports bidirectional mappings from graphical structures into logical structures, and the meaning of a complex graphical object is a regular function of the meanings of its constituent parts. Graphic scenarios are composed interactively from primitive graphical objects and relations, formally described by an underlying graphical grammar. Graphical symbols are introduced by deictic expressions, and represent individuals with their corresponding properties. Deictic expressions are used to impose semantic interpretations upon graphical symbols. Through logical expressions more complex interpretations are given to drawings. GRAFLOG is illustrated by an example in which the end-user is a cognitive psychologist. His view of the problem domain and the way he relates with the system are presented. GRAFLOG is programmed in PROLOG and GKS.