PPT-Folie
Beispiel für Backtracking
ist_vater_von( george, mary ).
ist_vater_von( george, john ).
ist_vater_von( harry, sue ).
ist_vater_von( edward, george ).
ist_sohn_von(X,Y) :- ist_vater_von(Y,X), maennlich(X).
Wenn ein Ziel (Goal) nicht erfüllt werden kann, dann wird der Fakt links neben dem Gescheitertem nach einem alternativen Ausgang geprüft.