[IA] - F1

%factos
pai(paula,beto).
pai(toze,beto).
pai(toze,luisa).
pai(beto,ana).
pai(beto,patricia).
pai(patricia,jose).
mulher(paula).
mulher(luisa).
mulher(ana).
mulher(patricia).
homem(toze).
homem(beto).
homem(jose).
%regras
avo(X,Y):-pai(X,Z),pai(Z,Y).
neto(X,Y):-pai(Z,Y),pai(X,Z).%comment
mae(X,Y):-mulher(X),pai(X,Y).
irma(X,Y):-mulher(X),pai(Z,X),pai(Z,Y).
%recursivo
descendente(X,Y):-pai(Y,X).%parage
descendente(X,Y):-pai(Y,Z),descendente(X,Z). %regre gerel