deklaratywne_5_21

pnp([], [], []).
pnp([H|T], [H|X], Y):-H mod 2=:=0, pnp(T, X, Y).
pnp([H|T], X, [H|Y]):-H mod 2=:=1, pnp(T, X, Y).

rosnący([_]).
rosnący([E1, E2|T]):- rosnący([E2|T]), E1<E2.

arytmetyczny([_]).
arytmetyczny([_, _]).
arytmetyczny([E1, E2, E3|T]):-arytmetyczny([E2, E3|T]),E1-E2=:=E2-E3.

mniejniemniej(_, [], [], []).
mniejniemniej(P, [H|T], [H|X], Y):-H<P, mniejniemniej(P, T, X, Y).
mniejniemniej(P, [H|T], X, [H|Y]):-P=<H, mniejniemniej(P, T, X, Y).

kwiksort([], []).
kwiksort([H|T], L2):-mniejniemniej(H, T, X, Y), kwiksort(X, W), kwiksort(Y, W2), append(W, [H], L), append(L, W2, L2).

maksio([A], A).
maksio([H|T], Z):-maksio(T, Z), H<Z.
maksio([H|T], H):-maksio(T, Z), H>=Z.

najbliższy(_, [Y], Y).
najbliższy(V, [E|T], E):-najbliższy(V, T, W), abs(V-E)<abs(V-W).
najbliższy(V, [E|T], W):-najbliższy(V, T, W), abs(V-E)>=abs(V-W).

nstart(X, _, []):-X=<0.
nstart(X, [H|T], [H|S]):-X>0, Y is X-1, nstart(Y, T, S).

podział([], [], []).
podział([H|T], L, [S|W]):-nstart(H, L, S), append(S, X, L), podział(T, X, W).

zamień([A], A).
zamień([E1, E2|T], [E1|S]):-E1=<E2, zamień([E2|T], S).
zamień([E1, E2|T], [E2, E1|T]):-E1>E2.