kind_von(karl_VI, leopold_I).
kind_von(maria_theresia, karl_VI).
kind_von(joseph_II, maria_theresia).
kind_von(joseph_II, franz_I).
kind_von(leopold_II, maria_theresia).
kind_von(marie_antoinette, maria_theresia).

-----         n599 ------------------------
Very well. So far we have seen some error messages:
  1. A syntax error (similar to other Prologs).
  2. A subtle error - syntactically correct, but definitely wrong.
GUPU imposes many more restrictions on the Prolog language.

End of part 1


**NEXT:Continue immediately with part 2 - Assertions and Queries.
**NEXT:Make a break, and go back to the overview.
[logprog|GUPU|UWN]