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).
:- kind_von(Kind, Elternteil).
^^here
-----         n599 ------------------------
Goals serve two purposes. First, they are tested after each compilation - and in our case the goal was in fact true. Second, ...
**NEXT:Click on the colon of the goal!
[logprog|GUPU|UWN]