% Fatos.
homer.
marge.
bart.
lisa.
maggie.
mona.
jacqueline.
patty.
abraham.
clancy.
hugo.
louise.
herb.
 
mulher(marge).
mulher(maggie).
mulher(lisa).
mulher(mona).
mulher(clancy).
mulher(jacqueline).
mulher(selma).
mulher(patty).
mulher(louise).
 
homem(homer).
homem(bart).
homem(abraham).
homem(clancy).
homem(hugo).
homem(herb).
 
progenitor(homer,bart).
progenitor(homer,lisa).
progenitor(homer,maggie).
progenitor(marge,bart).
progenitor(marge,lisa).
progenitor(marge,maggie).
 
progenitor(abraham, homer).
progenitor(mona, homer).
 
progenitor(clancy, marge).
progenitor(clancy, patty).
progenitor(clancy, selma).
progenitor(jacqueline, marge).
progenitor(jacqueline, patty).
progenitor(jacqueline, selma).
 
progenitor(abraham, herb).
 
progenitor(herb, hugo).
progenitor(louise, hugo).
 
% Regras
pai(A,B) :- homem(A), progenitor(A,B).
mãe(A,B) :- mulher(A), progenitor(A,B).
 
é_pai(A) :- pai(A,_).
é_mãe(A) :- mãe(A,_).
 
filho(A,B):- homem(A), progenitor(B,A).
filha(A,B):- mulher(A), progenitor(B,A).
 
irmaos(X,Y) :-
	progenitor(Z,X),
	progenitor(Z,Y),
	X\=Y.
 
irmao_completos(A,B) :-
	pai(P,A), pai(P,B),
	mãe(M,A), mãe(M,B),
	A\=B.
 
tio(T,A) :-
	homem(T),
	irmaos(T,X), progenitor(X,A).
 
tia(T,A) :-
	mulher(T),
	irmaos(T,X), progenitor(X,A).
 
primo(A,B) :-
	homem(A),
	progenitor(X,A),
	progenitor(Y,B),
	irmaos(X,Y).
 
prima(A,B) :-
	mulher(A),
	progenitor(X,A),
	progenitor(Y,B),
	irmaos(X,Y).
 
avô(A,B) :- pai(A,X), pai(X,B).
avó(A,B) :- pai(A,X), pai(X,B).