# 10 Personen), die familiäre Beziehungen beschreibt:
:- kind-von(anna, ulrich).
:/- kind_von(Person, Person). % Niemand soll sein eigenes Kind sein.
-:**  3.Bsp  n599 ------------------------
Wir haben zwei Zusicherungen eingefügt. Die zweite Zusicherung besagt, dass es niemanden geben soll, der sein eigenes Kind ist. Das dritte Beispiel ist nun modifiziert (-:** in der Statuszeile). Wir sichern es einmal.

WEITER: Mit [DO] Beispiel sichern, überprüfen und u.U. laden


[logprog|GUPU|UWN]