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.
Reload the example to remove answer substitutions with
.
[logprog|GUPU|UWN]