%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%   familia.pl
%
%  Relações familiares.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


/* genitor(X,Y)
  X é genitor (pai ou mãe) de Y
*/
genitor(ana,paulo).
genitor(ana,rui).
genitor(cristina,guilherme).
genitor(cristina,rita).
genitor(joao,cristina).
genitor(joaquim,paulo).
genitor(joaquim,rui).
genitor(jose,ana).
genitor(jose,miguel).
genitor(julia,joaquim).
genitor(julia,manuel).
genitor(julio,joaquim).
genitor(julio,manuel).
genitor(luisa,isabel).
genitor(manuel,isabel).
genitor(maria,cristina).
genitor(patricia,claudia).
genitor(patricia,pedro).
genitor(paula,ana).
genitor(paula,miguel).
genitor(paulo,guilherme).
genitor(paulo,rita).
genitor(rui,claudia).
genitor(rui,pedro).

% Homens...
homem(jose).
homem(miguel).
homem(joaquim).
homem(manuel).
homem(julio).
homem(rui).
homem(paulo).
homem(guilherme).
homem(pedro).
homem(joao).

% Mulheres...
mulher(paula).
mulher(ana).
mulher(julia).
mulher(cristina).
mulher(rita).
mulher(patricia).
mulher(claudia).
mulher(isabel).
mulher(maria).
mulher(luisa).

/* clausulas */

% Pai
pai(P,F):-homem(P),genitor(P,F),P\=F.

& Mae
mae(M,F):- mulher(M),genitor(M,F),M\=F.

& Irmao
irmao(B1,B2):-genitor(X,B1),genitor(X,B2),B1\=B2.

/* Não entendi o que o professor quer com isto...
% Irmao2
irmao2(B1,B2):-
*/

& E_Pai
e_pai(P):-pai(P,_).

& Tio
tio(T,S):- homem(T),genitor(X,S),irmao(X,T),T\=S.

& Tia
tia(T,S):- mulher(T),genitor(X,S),irmao(X,T),T\=S.

& Avo
avo(A,N):- genitor(A,P),genitor(P,N),A\=N.

& Avó
avou(A,N):-homem(A),avo(A,N).

& Avô
avoh(A,N):-mulher(A),avo(A,N).

& Prim
prim(E,D):- tio(X,E),genitor(X,D),E\=D.

& Primo
primo(E,D):- homem(E),prim(E,D).

& Prima
prima(E,D):- mulher(E),prim(E,D).

& Antepassado 
antepassado(X,Y):- X\=Y,genitor(X,Y) ; X\=Y,genitor(A,Y),antepassado(X,A).