G-Log: A declarative graphical query language

In this paper we introduce G-Log, a declarative graphical query language which combines of the expressive power of logic, the modelling power of objectorientedness and the representation power of graphs. As in the case of prolog, G-Log may be used in a totally declarative way, as well as in a more procedural way. Furthermore, it provides an intuitive and flexible graphical tool for non-expert database users. We prove that G-Log is a graphical equivalent of the first order predicate calculus. Finally, we study its features as a non-deterministic language and compare it with other existing non-deterministic languages.