Oh sorry, stimmt falsch abgetippt aber der eigentliche Fehler ist noch nicht behoben...
% gibt die zahlen rückwärts aus
% Fehler !!!!
backwards(X):- integer(Min), max(Max), !, integer(X), X is Max - 2 + Min.
.
.
Edit:
Ok, habe den Fehler gefunden, hat sich somit erledigt.
Korrekt:
% findet die max, hier X=7
% Regel O.K
max(X):- integer(X), Xnew is X + 1, not(integer(Xnew)).
% gibt die zahlen rückwärts aus
% Fehler !!!!
backwards(X):- interger(Min), max(Max), !, integer(Zahl), X is Max - Zahl + Min.