num(1).
num(X) :- num(Y), X is -Y, X < 0.
num(X) :- num(Y), X is -Y + 1, X > 0.?- num(X).
X = 1 ;
X = -1 ;
ERROR: Out of local stack
Exception: (1,763,389) num(_6002) ?
Средний
