Wer
sind Ulrichs Kinder?# 10 Personen), die familiäre Beziehungen beschreibt: kind_von(rudolf, ulrich). kind_von(anna, ulrich). kind_von(ulrich, walther). :- kind_von(anna, ulrich). :/- kind_von(Person, Person). % Niemand soll sein eigenes Kind sein. -:-- n599 ------------------------Keine Fehlermeldung. Das bedeutet, dass die Zusicherungen, so wie sie hier stehen, mit dem Programm übereinstimmen. (Sie sollten hier noch mehr Zusicherungen und Fakten angeben, aber jetzt bleiben wir einmal dabei.)
Etwas interessanter wird es nun, wenn wir auch Anfragen stellen.