Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!
Mögliche Instanzierungen für faktorielle/2 Implementiert man Prädikate, die Funktionen realisieren, sollte man zumindest folgendes beachten: Alle Fällen, die durch Ihre Implementierung nicht richtig behandelt werden, sollen als Fehler ausgegeben werden. Also, wenn Sie nicht den Fall: :- faktorielle(N,Fact). oder :/- faktorielle(N,1234234432). richtig behandeln, sollte ein Fehler (fehler/1) auftreten. Zumindest werden Sie wohl den Fall :- faktorielle(123,Fact). richtig behandelt haben. Deshalb sollte auch der Fall :/- faktorielle(123,423987234798). scheitern. Vergleiche auch mit dem Skriptum. Zurück: \hinweis{init}