number(zero). eq(zero, 0). int(0..5).
number(X1) :- X1:=next(X), number(X), eq(X, Y), int(Y).
eq(X, Y) :- X:= next(X_1), eq(X_1, Y-1), int(Y).