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).
@@	% Elternteil = leopold_I, Kind = karl_VI.
@@	% Elternteil = karl_VI, Kind = maria_theresia.
@@	% Elternteil = maria_theresia, Kind = joseph_II.
@@	% Elternteil = franz_I, Kind = joseph_II.
@@	% Elternteil = maria_theresia, Kind = leopold_II.
@@	% Anfrage unterbrochen, Antwort unvollständig
-----         n599 ------------------------
When the sequence of answer substitutions is interrupted, a reminder remains that the answers seen so far are incomplete.
**NEXT:Reload the example to remove answer substitutions with [DO].
[logprog|GUPU|UWN]