[IA] - F4

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]).

max(X,Y,Z,X):-X>Y,X>Z,!.
max(_,Y,Z,Y):-Y>Z,!.
max(_,_,Z,Z).

compara(data(A1,_,_),data(A2,_,_)):-A1<A2,!.
compara(data(A1,M1,_),data(A2,M2,_)):-A1=:=A2,M1<M2,!.
compara(data(A1,M1,D1),data(A2,M2,D2)):-A1=:=A2,M1=:=M2,D1<D2.

listaordenada([_]):-!.
listaordenada([X,Y|Cauda]):-X<Y,listaordenada([Y|Cauda]).