del(E, [E | T], T).
del(E, [H | T], [H | T1]) :- del(E, T, T1).

perm([ ], [ ]).
perm(L, [H | T]) :- del(H, L, L1), perm(L1, T).

sorted([ ]).
sorted([ _ ]).
sorted([X, Y | T]) :- X =< Y, sorted([Y | T]).

slowsort(L1, L2) :- perm(L1, L2), sorted(L2).

ws([],[]).
ws([E],[E]).
ws([H|T],L):-
    ws(T,T1),
    wstaw(H,T1,L),
    !.

wstaw(A, [B|C],[B|D]):-
    A>B,
    wstaw(A,C,D).
wstaw(A,C,[A|C]).

wy(L1,L2).

wy([],[]).

wy([E],[E]).

wy(L,[Min|T]):-
    zn(L,Min,L1),
    wy(L1,T).

zn([X],X,[]).

zn([H|T],H,T):-
    zn(T, M, _),
    H=<M.

zm([H|T],M,[H|T1]):-
    zn(T,M,T1),
    H>M.