[IA] - F2

%membro de uma lista
%
%membro(X,[X|Cauda]).
%membro(X,[Y|Cauda]):-membro(X,Cauda).
concatenar([],L,L).
concatenar([X|Cauda],L2,[X|Cauda2]):-concatenar(Cauda,L2,Cauda2).
remover(X,[X|Cauda],Cauda).
remover(X,[Y|Cauda],[Y|Cauda1]):-remover(X,Cauda,Cauda1).
%inserir(X,[],[X]).
%inserir(X,[Y|Cauda],[Y|Cauda2]):-inserir(X,Cauda,Cauda2).
ultimo([X],X).
ultimo([_|Cauda],Y):-ultimo(Cauda,Y).
inverter([],[]).
inverter([X|Cauda],L):-inverter(Cauda,Y),inserir(X,Y,L).

membro(X,[X|_]):-!.
membro(X,[_|Cauda]):-membro(X,Cauda).
adiciona(X,L,L):-membro(X,L),!.
adiciona(X,L,[X|L]).
adiciona2(X,L,L):-membro(X,L).
adiciona2(X,L,[X|L]).