1. del(E, [E | T], T).
2. del(E, [H | T], [H | T1]) :- del(E, T, T1).
3.  
4. perm([ ], [ ]).
5. perm(L, [H | T]) :- del(H, L, L1), perm(L1, T).
6.  
7. sorted([ ]).
8. sorted([ _ ]).
9. sorted([X, Y | T]) :- X =< Y, sorted([Y | T]).
10.  
11. slowsort(L1, L2) :- perm(L1, L2), sorted(L2).
12.  
13. sortwstaw([],[]).
14. sortwstaw([E],[E]).
15.  
16. sortwstaw([H|T],L):-
17. sortwstaw(T,T1),
18. insert(H,T1,L).
19.  
20. insert(E,[],[E]).
21. insert(E,[H|T],[E,H|T]):-
22. E>=H.
23. insert(E,[H|T],[H|T1]):-
24. E<H,
25. insert(E,T,T1).
26.  
27. ch([],[]):-!.
28. ch([E],[E]).
29. ch(L,[Max|T]):-
30.         max(L,Max,L1),
31.         ch(L1,T).
32.  
33. max([E],E,[]):-!.
34. max([H|T],H,T):-
35.                 max(T,M,T1),
36.                 H>=M.
37. max([H|T],M,[H|T1]):-
38.         max(T,M,T1),
39.         H<M.
40.        
41. q_sort([],[]):-.
42. q_sort([E],[E]):-!.
43. q_sort([H|T],L):-
44.         podziel(T,H,T1,T2),
45.         q_sort(T1,T11),
46.         q_sort(T2,T22),
47.         append(T11,[H|T22],L).
48.        
49. podziel([],E,[],[]):-!.
50. podziel([H|T],E,[H|T1], T2):-
51.         podziel(T,E,T1,T2),
52.         H>=E.
53.         podziel([H|T1],E,T1,[H|T2]):-
54.         podziel(T,E,T1,T2),
55.         H<E.
56.  
57.