male('Rickard Stark').
male('Eddard Stark').
male('Brandon Stark').
male('Benjen Stark').
male('Robb Stark').
male('Bran Stark').
male('Bran Stark').
male('Rickon Stark').

male('Aerys Targaryen').
male('Rhaegar Targaryen').
male('Viserys Targaryen').
male('Rhaegar Targaryen').
male('Aegon Targaryen').

female('Lyara Stark').
female('Catelyn Stark').
female('Lyana Stark').
female('Sansa Stark').
female('Arya Stark').

female('Daenerys Targaryen').
female('Rhaenysys Targaryen').
female('Elia Martell').
female('Rhaella Targaryen').

parent('Rickard Stark','Eddard Stark').
parent('Rickard Stark','Brandon Stark').
parent('Rickard Stark','Benjen Stark').
parent('Rickard Stark','Lyana Stark').

parent('Lyana Stark','Jon Snow').
parent('Rhaegar Targaryen','Jon Snow').
parent('Lyana Stark','Jon Snow').
parent('Aerys Targaryen','Daenerys Targaryen').
parent('Aerys Targaryen','Rhaegar Targaryen').
father(X,Y):-parent(X,Y),male(X).
mother(X,Y):-parent(X,Y),female(X).
sister(X,Y):-parent(Z,X),parent(Z,Y),female(X).
aunt(X,Y):-sister(X,Z),parent(Z,Y).






/** <examples>
?- happy(joffrey).
?- happy(cersei).
?- happy(ser_jamie).
?- happy(X).
*/