Hab ein Problem, das nicht auf meinem Mist gewachsen ist.
In einem Buch über Prolog hab ich folgende Aufgabe gefunden:

"Analysieren sie das folgende Prädikat:
zahl(1).
zahl(X):- integer(X), zahl(Y), X is Y +1.
"

In der Lösung in diesem Buch heißt es dann:

"Dieses Prädikat eignet sich zum Beweisen, ob X eine Zahl ist oder zum generieren von Integer-Zahlen. Also die Anfrage
?- zahl(4). liefert yes, während die Anfrage
?- zahl(X). X = 1, X = 2, X = 3, X = 4, ... liefert."

Nun zu meinem Problem: bei mir funktioniert das nicht. Weder die erste noch die zweite Anfrage klappen. Lediglich bei der Anfrage zahl(1). liefert er yes.
Seh ich den Wald vor lauter Bäumen nicht, oder wo liegt das Problem?

*grübelnd*

tom_paris78