%1 część drugiego zadania

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

listwr([], []).
listwr([H|T], O) :- member(H, T), !, listwr(T, O).
listwr([H|T], [H|P]) :- listwr(T, O).

%2 część drugiego zadania

clistwr([]) :- write('Nie powtarzaja sie').
clistwr([H|T]) :- not(member(H, T)), !, filtr(T).