GrafOLog: a Visual Language for a Logic with Objects

GrafOLog is a visual programming language for the representation of knowledge expressed in a logical form. In this paper we mainly describe our graphical formalism and discuss its semantics. Although very simple, this formalism is very powerful and avoids the use of Prolog variables. We end this paper with a discussion of possible applications of our system: database interfacing, Prolog teaching, debugging and proof explanation. The latter is given by a graphic definition of the inference in GrafOLog.