liczba(0).
liczba(I) :- liczba(L), I is L + 1.

plus(X, Y, Z) :- Z is X + Y.
minus(X, Y, Z) :- Z is X - Y.

rownanie(X, Y) :- liczba(X), plus(X, 3 ,8), liczba(Y), minus(X, Y, 3), !.

test :- rownanie(X, Y).