%---------------------------------
% Jon Snow and Daenerys Targaryen
%---------------------------------

male(rickard).
male(eddard).
male(brandon).
male(benjen).
male(robb).
male(aerys).
male(rhaegar).


%---------------------------

female(lyarra).
female(catelyn).
female(lyanna).
female(sansa).
female(arya).
female(viserys).
female(daenerys).
female(rhaella).
female(elia).

%------------------------

parentof(rickard,eddard).
parentof(rickard,brandon).
parentof(rickard,benjen).
parentof(rickard,lyanna).
parentof(lyarra,eddard).
parentof(lyarra,brandon).
parentof(lyarra,benjen).
parentof(lyarra,lyanna).

parentof(eddard,robb).
parentof(eddard,sansa).
parentof(eddard,arya).
parentof(eddard,bran).
parentof(eddard,rickon).
parentof(catelyn,robb).
parentof(catelyn,sansa).
parentof(catelyn,arya).
parentof(catelyn,bran).
parentof(catelyn,rickon).

parentof(lyanna,jon).
parentof(rhaegar,jon).

parentof(aerys,rhaegar).
parentof(aerys,viserys).
parentof(aerys,daenerys).
parentof(rhaella,rhaegar).
parentof(rhaella,viserys).
parentof(rhaella,daenerys).

parentof(rhaegar,rhaenys).
parentof(rhaegar,aegon).

parentof(elia,rhaenys).
parentof(elia,aegon).

fatherof(Father,Child):-parentof(Father,Child),male(Father).
motherof(Mother,Child):-parentof(Mother,Child),female(Mother).

grandfatherof(Grandfather,Child):-parentof(X,Child),fatherof(Grandfather,X).
grandmotherof(Grandmother,Child):-parentof(X,Child),motherof(Grandmother,X).
sisterof(Sister,Person):-parentof(X,Sister),parentof(X,Person),female(Sister).
brotherof(Brother,Person):-parentof(X,Brother),parentof(X,Person),male(Brother).
auntof(Aunt,Person):-parentof(X,Person),sisterof(Aunt,X).






/** <examples>
?- fatherof(eddard,X).
?- mother_of(elia,X).
?- grandmotherof(X,jon).
?- grandfatherof(X,jon).
?- sisterof(lyanna,arya).
*/