prolog4

1.
usuń(El,[El|T], T).
usuń(El,[H|T], [H|T2]) :-
    El \= H,
    usuń(El, T, T2).

2.
usuń_wszystkie(_, [], []).

usuń_wszystkie(El,[H|T], [H|T2]) :-
    El \= H,
    usuń_wszystkie(El, T, T2).

usuń_wszystkie(El,[El|T], T2) :-
    usuń_wszystkie(El, T, T2).

3.
dodaj(El,T,[El|T]).
dodaj(El,[H|T],[H|T2]) :-
    dodaj(El,T,T2).

4.
palindrom(List) :-
    reverse(List, List).

5.
podlista([],[]).

podlista([First|Rest],[First|Sub]):-
    podlista(Rest,Sub).

podlista([_|Rest],Sub):-
    podlista(Rest,Sub).

6.
odetnij_z_lewej(N,List,Result) :-
	length(L, N),
    append(L, Result, List).

odetnij_z_prawej(N,List,Result) :-
	length(L, N),
    append(Result, L, List).

7.
zawiera(List, Sublist) :-
    append([_,Sublist,_], List).

8.
permutacja([],[]).
permutacja([H|T],Result) :-
    permutacja(T, Result2),
    dodaj(H, Result2, Result).

9.
podziel([], [], []).
podziel([X], [X], []).

podziel([X1, X2|T], [X1|T1], [X2|T2]):-
    podziel(T, T1, T2).

10.
spłaszcz([],[]).
spłaszcz(X, [X]) :- \+ is_list(X).
spłaszcz([H|T], X1) :-
    spłaszcz(H, X2),
    spłaszcz(T, X3),
    append(X2, X3, X1).



ZAD2
1.
length_diff(L-E, 0):- is_empty_diff(L-E).

length_diff([H|T]-E, N) :-
    \+ is_empty_diff([H|T]-E),
    length_diff(T-E, N1),
    N is N1 + 1.

2.
member_diff(X,[X|_]-_).
member_diff(X,[_|T]-E) :-
    \+ is_empty_diff(T-E),
    member_diff(X, T-E).