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

%1b usando acumulador ao inves de ser recursivo

lista2conj([],C,C).
lista2conj([X|L], C0, C) :- insere(X, C0, C1), lista2conj(L,C1,C).
lista2conjR(L,C) :- lista2conj(L,[],C).