Hallo,
Vor einer Woche gab es genau dieselbe Frage schonmal; dort wurde
ebenso ausführlich geantwortet: </archiv/2004/1/70281/>
Ich hab da grade mal reingeschaut, wenn ich mich recht entsinne, dann sollte man aber auf eines wirklich genau achten. Prolog ruft meines Wissens keine Funktionen auf. Es ist nicht so, als dass eine Funktion sich selbst rekrusiv aufrufen könnte oder ähnliches, hier geht es lediglich drum eine Substitution zu finden, welche einen wahren Ausdruck liefert.
Hier noch ein direkter Link zu der ersten Übung, die Prolog beinhaltete: http://eins2003.info.uni-karlsruhe.de/folien/ue06.pdf#page=8, ist zwar eine wirklich sehr kurze Einleitung, aber vielleicht kanns ja helfen.
Ist das zur Zeit eine Übungshausaufgabe irgendwo?
Das würde mich auch mal interessieren...
Viele Grüße,
Stefan