This is a hint (Hinweis) text of GUPU taken literally from the system. It's probably not very interesting reading for you.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German (...)

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}
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German