PROLOGOWANIE.pl

odwracanie([H|T], D):-odwracanie(T, X), append(X, [H], D).
odwracanie([], []).

kopiatyl(H, T):- append(E, [D], H), kopiatyl(E, X), append(X, [D], T).
kopiatyl([], []).

polowki([], [], []).
polowki([X], [X], []).
polowki(Lin, Left, Right):- append([X|Y], [Z], Lin), polowki(Y, L1, R1), append([X],L1, Left), append(R1, [Z], Right).

ostatni(X, Lin):- append(_, [X], Lin).

bezostatniego(Lin, Lout):- append(Lout, [_], Lin).

member(X, L):- append(_, [X|_], L).

srodek([X], X).
srodek(Lin, S):- append([_|T], [_], Lin), srodek(T, S).

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

arytmetyczny([]).
arytmetyczny([_]).
arytmetyczny([_,_]).
arytmetyczny([X|[X1|[X2|T]]]):- X-X1 =:= X1-X2, arytmetyczny([X1|[X2|T]]).

suma([X], X).
suma([H|T], S):- suma(T, S1), S is S1+H.

maks([MAX], MAX).
maks([H|T], MAX):- maks(T, MAX1), MAX is  MAX1+H.

podzial(Lin, Parzyste, Nieparzyste):-