Для каждого бинарного дерева выполнить преобразование дерева в список, результат вывести в виде списка списков

Domains
treetype=bt(integer,treetype, treetype); no
treelist=treetype*
il=integer*
ill=il*
 
Predicates
determ min_s(ill, integer)
determ do(treelist, ill) preorder(treetype, il) conc(il,il,il)
min_ab(integer,integer,integer).
min(il,integer).
 
Clauses
do([],[]).
do([T|Ts],[L1|Ls]):-preorder(T,L1),do(Ts,Ls).
preorder(no,[]):-!.
preorder(bt(Root,no,no),[Root]):-!.
preorder(bt(Root,L,R),[Root|Ls]):-preorder(L,LL), preorder(R,LR),conc(LL,LR,Ls).
min_ab(A,B,A):-A<B,!.
min_ab(_,B,B).
min([A],A):-!.
min([H|Tail],Max):-min(Tail,M),min_ab(H,M,Max).
min_s([A],Min):-!,min(A,Min).
min_s([T|Ts],Min):-min(T,M1),min_s(Ts,Ms),min_ab(M1,MS,Min).
conc([],Ys,Ys).
conc([X|Xs],Ys,[X|Zs]):-conc(Xs,Ys,Zs).
 
Goal
do([bt(2,no,bt(1,no,no)),bt(5,bt(2,no,no),bt(3,no,no))],LIST),min_s(LIST,Min).

DOMAINS
 
int=integer
tree=tr(int,tree,tree);empty
intl=int*
intll=intl*
tl=tree*
 
predicates
 
app(intl,intl,intl)
tree2list(tree,intl)
ltree(tl,intll)
minl(intl,int)
minll(intll,int)
 
 
clauses
 
app([],X,X).
app([H|T],X,[H|Y]) :- app(T,X,Y).
 
tree2list(empty,[]).
tree2list(tr(X,L,R),Z) :- tree2list(L,LL), tree2list(R,RR), app(LL,[X],T), app(T,RR,Z).
 
ltree([],[]).
ltree([T|TT],[Z|ZZ]) :- tree2list(T,Z), ltree(TT,ZZ).
 
minl([X],X).
minl([H|T],M) :- minl(T,M),M<H.
minl([H|T],H) :- minl(T,M),M>=H.
 
minll([X],Z) :- minl(X,Z).
minll([H|R],MH) :- minll(R,M),minl(H,MH),MH<M.
minll([H|R],M) :- minll(R,M),minl(H,MH),MH>=M.
 
goal
 
ltree([tr(5,empty,empty),tr(6,tr(1,empty,empty),tr(-8,empty,empty))
, tr(7,tr(8,empty,empty),empty)],U),
write(U),nl,minll(U,M),write(M),nl.