insert(A,[],[A]).
insert(A,[C|B],[A|[C|B]]):-A<C,!.
insert(A,[C|B],[C|D]):-A>=C, insert(A,B,D).
                
sort_tree([],[]).
sort_tree([A|B],D):-sort_tree(B,X), insert(A,X,D).