Пролог. Создать предикат, находящий минимальное из значений, находящихся в листьях дерева

[dimitruf]

Есть код для такого задания: Создать предикат, находящий минимальное из значений, находящихся в вершинах дерева.
DOMAINS
tree = e; tr(integer,tree,tree)
PREDICATES
tree_min(tree,integer)
min(integer,integer,integer)
CLAUSES
min(X,Y,Z):-
X<Y,Z=X,!.
min(_,Y,Y).
tree_min(e,1000).
tree_min(tr(X,L,R),N):-
tree_min (L,N1),
tree_min (R,N2),
min(X,N1,Z),
min(Z,N2,Z1),
N=Z1.
Что нужно поменять, чтобы получить код для задания, которое указано в заголовке моего вопроса?