% korrekte Loesung: aufsteigend sortierte Listen
sortiert([]).
sortiert([_]).
sortiert([E1,E2|L]) :- E1 =< E2, sortiert([E2|L]).

perm([],[]).
perm(L1,[E|R2]) :- streiche(E,L1,R1), perm(R1,R2).

streiche(E,[E|R],R).
streiche(E,[F|R],[F|RohneE]) :- streiche(E,R,RohneE).

sortiere(UL,SL) :- perm(UL,SL), sortiert(SL).
