Part 2: Assertions and Queries
It is vital when learning Prolog to focus on the clean parts of the
language. All of Prolog's add ons which are needed to integrate
Prolog programs in an application must be left out completely. It is
too much to ask of a beginner to understand both the meaning of a
program and the precise way how this program is executed.
This part shows how GUPU provides side effect free interactions
with a Prolog program.
Let's look at our little imperial data base.
[logprog|GUPU|UWN]