Prolog.Ближайшее значение в списке

[Lisёноk]

Доброго времени суток!
Делала лабораторную работу по деревьям. Вершины представила списком и в этом списке искала максимальное значение. После преподаватель захотел, следующее: пользователь вводит некоторое число и затем из списка находится ближайшее к нему. Как я поняла, мы должны находить минимальную разность между вводимым числом и числами из списка и записывать в ответ то число, с которым эта разность минимальна. Пыталась сделать, но не получилось (предикат bl должен находить как раз ближайшее значение).

domains
i=integer*
tree=nil;tr(integer,tree,tree)
predicates
nondeterm bl(i,integer,integer)
nondeterm max(i,integer)
conc(i,i,i)
treemax(tree,i)
clauses
bl([X],X,X).
bl([H|T],Y,X):-Y1=Y-H,bl(T,Y,X1),X1>Y1,X=Y1.
max([X],X).
max([H|T],H):-max(T,M),H>M,!.
max([_|T],M):-max(T,M).
conc([],N,N).
conc([H|T],L,[H|T1]):-conc(T,L,T1).
treemax(nil,[]).
treemax(tr(X,L,R),S):-treemax(L,Q1),treemax(R,Q2),
conc(Q1,[X|Q2],S).
goal
treemax(tr(2,tr(7,tr(9,nil,nil),tr(13,nil,nil)),
tr(5,nil,nil)),S),
write("Spisok vershin= ",S),nl,
write("Chislo: "),readint(Y),
bl(S,Y,X), write(X).
%max(S,X),write("Max: ",X).

Помогите пожалуйста! Очень рассчитываю на Вашу помощь!

[rrrFer]

check(A, B, Val, Res):-
  !. % сюда вставить проверку так, чтобы результат попадал в Res

p(nil, _, _):-!, fail.
p(tr(NV, nil, R), V, Res):-
  !, p(R, V, RRes), check(NV, RRes, V, Res). 
p(tr(NV, L, lin), V, Res):-
  !, p(L, V, LRes), check(NV, LRes, V, Res). 
p(tr(NV, L, R), V, Res):-
  !, p(R, V, RRes), p(L, V, LRes), 
  check(NV, LRes, V, Res_1), check(Res_1, RRes, V, Res).

примерно так должно работать

[Lisёноk]

Спасибо большое за помощь! Вы меня очень выручили!