insert([],X,[X]).
insert([H|T],X,[X,H|T]) :- H >= X.
insert([H|T],X,[H|U]) :- H < X, insert(T,X,U).