# 10 Personen), die familiäre Beziehungen beschreibt:
:- kind_von(anna, ulrich).
:/- kind_von(Person, Person). % Niemand soll sein eigenes Kind sein.
! Zusicherungen benötigen passende Prädikatsdefinition. ^^laden
-:--         n599 ------------------------

Bitte beachten Sie, dass diese Fehlermeldung Sie nur darauf aufmerksam macht, dass das Prädikat kind_von/2 noch nicht definiert wurde. Es ist also völlig in Ordnung, wenn diese Fehlermeldung auftritt! (Weil man ja zuerst Zusicherungen angeben soll, noch bevor man das Prädikat implementiert. Auch die Zusicherungen werden beurteilt!) Die Anzahl der aufgetretenen Fehler ist für die Beurteilung irrelevant. Sie können also ruhig, so wie hier, ein »halbfertiges« Beispiel absichern und es erst nach dem Sichern fertigstellen. Hauptsache, das Programm ist schlussendlich fehlerfrei.

Fakten einfügen und mit sichern.