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. @@ % Elternteil = maria_theresia, Kind = marie_antoinette. @@ % 6 Lösungen gefunden ----- n599 ------------------------A summary indicates the number of solutions and (if applicable) the number of redundant solutions and the time spent.
The answer substitutions are ordinary program text. As long as the
@@
is at their beginning, they will vanish on saving. But
when you remove the @@
, the lines remain in the text.
Note that the answer substitutions do not modify the text so you can
ask several queries in different examples without reloading.
To remove the temporary
@@
-lines, press
(not on the colon).