Exercicio Prolog

Esta é uma pré-visualização de arquivo. Entre para ver o arquivo original

feminino(mum).
feminino(elizabeth).
feminino(margaret).
feminino(spencer).
feminino(diana).
feminino(anne).
feminino(sarah).
feminino(zara).
feminino(beatrice).
feminino(eugenie).
masculino(george).
masculino(kydd).
masculino(philip).
masculino(charles).
masculino(mark).
masculino(andrew).
masculino(edward).
masculino(william).
masculino(harry).
masculino(peter).
conjuge(george,mum).
conjuge(spencer,kydd).
conjuge(elizabeth,philip).
conjuge(diana,charles).
conjuge(anne,mark).
conjuge(andrew,sarah).
genitor(george, elizabeth).
genitor(mun, elizabeth).
genitor(george, margaret).
genitor(mun, margaret).
genitor(elizabeth,charles).
genitor(philip,charles).
genitor(elizabeth,anne).
genitor(philip,anne).
genitor(elizabeth,andrew).
genitor(philip,andrew).
genitor(elizabeth,edward).
genitor(philip,edward).
genitor(spencer,diana).
genitor(kydd,diana).
genitor(diana,william).
genitor(charles,william).
genitor(diana,harry).
genitor(charles,harry).
genitor(anne,peter).
genitor(mark,peter).
genitor(anne,zara).
genitor(mark,zara).
genitor(andrew,beatrice).
genitor(sarah,beatrice).
genitor(andrew,eugenie).
genitor(sarah,eugenie).
conjuge(X,Y) :- conjuge(Y,X).
casados(X,Y) :- conjuge(X,Y);conjuge(Y,X).
pai(A,B) :- masculino(A), genitor(A,B).
mae(A,B) :- feminino(A), genitor(A,B).
filho(A,B) :- masculino(A), genitor(B,A).
filha(A,B) :- feminino(A), genitor(B,A).
totalfilhos(A,B) :- masculino(A), genitor(B,A);feminino(A), genitor(B,A).
irmaos(X,Y) :- genitor(Z,X), genitor(Z,Y), X\=Y. 
avo(A,N) :- genitor(A,P),genitor(P,N).
avoa(A,N) :- genitor(A,P),genitor(P,N).
tio(T,A) :- masculino(T), irmaos(T,X), genitor(X,A).
tia(T,A) :- feminino(T), irmaos(T,X), genitor(X,A).
primo(A,B) :- masculino(A), genitor(X,A), genitor(Y,B), irmaos(X,Y).
prima(A,B) :- feminino(A), genitor(X,A), genitor(Y,B), irmaos(X,Y).