22a23,30
> member(X, [X|_]).
> member(X, [_|T]) :-
>     member(X, T).
> 
> append([], L, L).
> append([H|T], L, [H|R]) :-
>     append(T, L, R).
> 

