Arity Prolog. Используя рекурсию, найти минимальный элемент из введенных с клавиатуры

Не работает. Было много идей, но эта последняя.

run:-
write('Zkonchit vvod chisel 0'),nl,
write('vvedi x'),nl,
write('x='),read(X),nl,
Rez is X,
re(X,X,Rez).

re(X,X,Rez):-
X=:=0,write(Rez).

re(X,X,Rez):-
X/=0,Rez1 is X,X1 is X,
write('x='),read(Y),nl,
X>=Y,Rez1 is Y,X1 is Y,
re(X1,X1,Rez1).

 

predicates
in( integer )
in
min( integer, integer, integer )
p( integer, integer )
goal
in( Min ), nl, write( Min ), nl.
clauses
min( A, B, A ):- A<B.
min( _, B, B ).
in :-
write( "continue? (y/n)" ), nl,
readln( C ),!, C = "y";!,fail.
p( V, V ):-
NOT( in ), !.
p( V, Min ):-
in(Min_), min( Min_, V, Min ).

in( Min ):-
write("num: "), readInt( V ),!, p(V, Min).

На арити сам переведешь )