insere(E,[],[E]).
insere(E,[X|L], [E,X|L]) :- E < X.
insere(E,[X|L], [X|L]) :- E = X.
insere(E,[X|L], [X|L1]) :- E > X, insere(E, L,L1).