Last Element
lastEL([Head|[]],Head).
lastEL([_|Tail],X) :- lastEL(Tail,X).


NTH1
nth22(X,[X|_],1).
nth22(X,[_|Tail],K) :- K > 1, K1 is K -1 , nth22(X,Tail,K1).

NTH0
nth000(X,[X|_],0).
nth000(X,[_|T],K) :- K > 0, K1 is K - 1 , nth000(X,T,K1).

Member
nalezy(X,[X|_]).
nalezy(X,[_|T]) :- nalezy(X,T).


Nextto
obok(X, Y, [X,Y|_]).
obok(X, Y, [_|Zs]) :- obok(X, Y, Zs).


Delete
usun([],_,[]) :- !.
usun([X|T],X,L1) :- !, usun(T,X,L1).
usun([H|T],X,[H|L1]) :- usun(T,X,L1).



Select
wybierz(El,[El|T],T).
wybierz(El,[H|T],[H|S]) :- wybierz(El,T,S).


Odwracanie listy
my_reverse(L1,L2) :- my_rev(L1,L2,[]).
my_rev([],L2,L2) :- !.
my_rev([X|Xs],L2,Acc) :- my_rev(Xs,L2,[X|Acc]).

FLATTEN
my_flatten(X,[X]) :- \+ is_list(X).
my_flatten([],[]).
my_flatten([X|Xs],Zs) :- my_flatten(X,Y), my_flatten(Xs,Ys), append(Y,Ys,Zs).


Suma dwóch list w jednej liście.
sm([],[],[]).
sm([A|L1],[B|L2],[C|L3]) :- C is A+B,sm(L1,L2,L3).


Porównaj element list (Dlugość)
rowne(N1,N2):-length(N1,X),length(N2,X).


Porównaj element list (Dlugość)
rowne1([],[]).
rowne1([_|L1],[_|L2]) :- rowne1(L1, L2).


Znajdz Maximum listy

max([Head], Head).
max([Head|Tail], Head):- max(Tail, X), Head >= X,!.
max([Head|Tail], X):- max(Tail, X), X > Head,!.


Sprawdz czy równy początek list.
poczatek([],[_|_]).
poczatek([Head],[Head|_]).
poczatek([Head1|Tail1],[Head2|Tail2]) :- Head1 == Head2, poczatek(Tail1,Tail2),!.


Permutacja List
permutuj([], []).
permutuj([X|R], L) :- permutuj(R, L1),select(X, L, L1).


Suma elementów listy.
sum_list([], 0).
sum_list([H|T], S) :- sum_list(T, R),S is H + R.


Iloczyn zbioru List
iloczyn([],_,[]).
iloczyn([Head1|Tail1], Y, [Head1|Tail]) :- member(Head1, Y), iloczyn(Tail1, Y, Tail),!.
iloczyn([_|Tail], Y, Z) :- iloczyn(Tail, Y, Z),!.

Suma Zbioru List

suma([],[],[]).
suma(X, Y, [Head|Tail]) :- (member(Head,X); member(Head,Y)), delete(X,Head,X1), delete(Y,Head,Y1), suma(X1,Y1,Tail), !.

Roznica zbioru list
roznica(X,X,[]).
roznica([Head|Tail],Y,[]) :- member(Head,Y), roznica(Tail,Y,[]), !.
roznica(X,[Head|Tail],X) :- not(member(Head,X)), roznica(X, Tail, X), !.
roznica(X,Y,[Head|Tail]) :- member(Head,X), not(member(Head,Y)), delete(X,Head,X1), roznica(X1,Y,Tail), !.