Untitled

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

polacz([],L,L).
polacz([H|T],L,[H|T1]):-polacz(T,L,T1).

dlugosc([],0):-
!.
dlugosc([H|T],N1):-
dlugosc(T,N),
N1 is N+1.

idl([],0):-
!.
idl(L,N):-
idl(L,0,N).
  idl([],A,A):-
!.
idl([H|T],A,N):-
A1 is A+1,
idl(T,A1,N).

odwroc([],[]):-
!.
odwroc([X],[X]):-
!.
odwroc([H|T],L):-
odwroc(T,T1),
polacz(T1,[H],L).

iodwroc([],[]):-
!.
iodwroc([X],[X]):-
!.
iodwroc(L1,L2):-
iodwroc(L1,[],L2).
iodwroc([],A,A):-
!.
iodwroc([H|T],A,L2):-
iodwroc(T,[H|A],L2).

ws_sort([],[]):-
!.
ws_sort([X],[X]):-
!.
ws_sort([H|T],L):-
ws_sort(T,T1),
wstaw(H,T1,L).
  wstaw(E,[],[E]):-
!.
wstaw(E,[H|T],[E,H|T]):-
E=<H,
!.
wstaw(E,[H|T],[H|T1]):-
E>H,
wstaw(E,T,T1).

wb_sort([],[]):-
!.
wb_sort([X],[X]):-
!.
wb_sort(L,[Min|T]):-
najmn(L,Min,L1),
wb_sort(L1,T).
najmn([X],X,[]):-
!.
   najmn([H|T],H,T):-
najmn(T,N,T1),
H=<N,
!.
najmn([H|T],N,[H|T1]):-
najmn(T,N,T1),
N<H.

q_sort([],[]):-
!.
q_sort([X],[X]):-
!.
q_sort([H|T],L):-
rozdziel(H,T,T1,T2),
q_sort(T1,T11),
q_sort(T2,T22),
polacz(T11,[H|T22],L).
rozdziel(E,[],[],[]):-
!.
rozdziel(E,[H|T],[H|T1],T2):-
rozdziel(E,T,T1,T2),
H=<E,
!.
rozdziel(E,[H|T],T1,[H|T2]):-
rozdziel(E,T,T1,T2),
H>E.

acc([1|T]):-
acc1(T).
acc1([0,1|T]):-
acc2(T).
acc2([0,1|T):-
acc2(T).
acc2([1,1,1|T]):-
acc3(T).
acc3([1,0,1|T]):-
acc3(T).
acc3([0,0]).
acc3([1,1]).