Skip to content
Snippets Groups Projects
Select Git revision
  • c93c0069523d1a566f81da71824c0add311e82a9
  • main default protected
  • code-review
3 results

README.md

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    1_got_family_tree.pl 5.89 KiB 
    % from https://github.com/ozym4nd145/COL226-Assignments/blob/master/Family_Tree/family.pl

%Targaryen Males
male('Aegon V Targaryen').
male('Aerion Targaryen').
male('Aemon Targaryen').
male('Duncan Targaryen').
male('Aerys II Targaryen').
male('Daeron Targaryen').
male('Rhaegar Targaryen').
male('Viserys Targaryen').
male('Aegon Targaryen').
male('Rhaego').
male('Drogo').
male('Maekar Targaryen').

%Stark Males
male('Rickard Stark').
male('Brandon Stark').
male('Eddard Stark').
male('Benjen Stark').
male('Robb Stark').
male('Tyrion Lannister').	
male('Ramsay Bolton').
male('Bran Stark').	
male('Rickon Stark').
male('Jon Snow').

%Targaryen Females
female('Rhaenys Targaryen').
female('Rhaella Targaryen').
female('Elia Martell').
female('Daenerys Targaryen').
female('Unknown Targaryen Queen').
female('Dyanna Dayne').

%Stark Females
female('Catelyn Stark').
female('Lyanna Stark').
female('Lyarra Stark').
female('Talisa Stark').
female('Sansa Stark').
female('Arya Stark').
female('Unknown_Jon_Mother').

%Targaryen Parent
child('Aegon V Targaryen','Maekar Targaryen').
child('Aerion Targaryen','Maekar Targaryen').
child('Aemon Targaryen','Maekar Targaryen').

child('Aegon V Targaryen','Dyanna Dayne').
child('Aerion Targaryen','Dyanna Dayne').
child('Aemon Targaryen','Dyanna Dayne').

child('Duncan Targaryen','Aegon V Targaryen').
child('Aerys II Targaryen','Aegon V Targaryen').
child('Rhaella Targaryen','Aegon V Targaryen').
child('Daeron Targaryen','Aegon V Targaryen').

child('Duncan Targaryen','Unknown Targaryen Queen').
child('Aerys II Targaryen','Unknown Targaryen Queen').
child('Rhaella Targaryen','Unknown Targaryen Queen').
child('Daeron Targaryen','Unknown Targaryen Queen').

child('Rhaegar Targaryen','Aerys II Targaryen').
child('Viserys Targaryen','Aerys II Targaryen').
child('Daenerys Targaryen','Aerys II Targaryen').
child('Rhaegar Targaryen','Rhaella Targaryen').
child('Viserys Targaryen','Rhaella Targaryen').
child('Daenerys Targaryen','Rhaella Targaryen').
    child('Rhaenys Targaryen','Rhaegar Targaryen').
child('Aegon Targaryen','Rhaegar Targaryen').
child('Rhaenys Targaryen','Elia Martell').
child('Aegon Targaryen','Elia Martell').
child('Rhaego','Daenerys Targaryen').
child('Rhaego','Drogo').

%Stark Parent
child('Brandon Stark','Rickard Stark').
child('Eddard Stark','Rickard Stark').
child('Lyanna Stark','Rickard Stark').
child('Benjen Stark','Rickard Stark').

child('Brandon Stark','Lyarra Stark').
child('Eddard Stark','Lyarra Stark').
child('Lyanna Stark','Lyarra Stark').
child('Benjen Stark','Lyarra Stark').

child('Robb Stark','Eddard Stark').
child('Sansa Stark','Eddard Stark').
child('Arya Stark','Eddard Stark').
child('Bran Stark','Eddard Stark').
child('Rickon Stark','Eddard Stark').
% Controversial
child('Jon Snow','Eddard Stark').
child('Jon Snow','Unknown_Jon_Mother').

child('Robb Stark','Catelyn Stark').
child('Sansa Stark','Catelyn Stark').
child('Arya Stark','Catelyn Stark').
child('Bran Stark','Catelyn Stark').
child('Rickon Stark','Catelyn Stark').

%Targaryen Couples
couple('Aerys II Targaryen','Rhaella Targaryen').
couple('Daenerys Targaryen','Drogo').
couple('Elia Martell','Rhaegar Targaryen').
couple('Aegon V Targaryen','Unknown Targaryen Queen').


%Stark Couples
couple('Rickard Stark','Lyarra Stark').
couple('Eddard Stark','Catelyn Stark').
couple('Robb Stark','Talisa Stark').
couple('Tyrion Lannister','Sansa Stark').
couple('Ramsay Bolton','Sansa Stark').
couple('Maekar Targaryen','Dyanna Dayne').

%Rules

/* commented out so that we can define them in Jupyter:

married(A,B) :- couple(B,A).
married(A,B) :- couple(A,B).

sibling(A,B) :- child(A,C),child(B,C),male(C),married(C,D),child(A,D),child(B,D),A\=B.

parent(A,B) :- child(B,A).

father(A,B) :- child(B,A),male(A).
mother(A,B) :- child(B,A),female(A).

wife(A,B) :- married(A,B),female(A),male(B).
husband(A,B) :- married(A,B),male(A),female(B).

son(A,B) :- child(A,B),male(A).
daughter(A,B) :- child(A,B),female(A).

brother(A,B) :- male(A),sibling(A,B).
sister(A,B) :- female(A),sibling(A,B).
    
bastard(A,B) :- child(A,B),married(B,C),not(child(A,C)).

grandfather(A,B) :- child(B,C) , child(C,A), male(A).
grandmother(A,B) :- child(B,C) , child(C,A), female(A).

granddaughter(A,B) :- grandfather(B,A),female(A).
granddaughter(A,B) :- grandmother(B,A),female(A).

grandson(A,B) :- grandmother(B,A),male(A).
grandson(A,B) :- grandfather(B,A),male(A).

brother_in_law(A,B) :- male(A),sister(C,B),married(A,C).
sister_in_law(A,B) :- female(A),brother(C,B),married(A,C).

in_law(A,B) :- sibling(C,B),married(A,C).

uncle(A,B) :- male(A),child(B,C) , sibling(A,C).
uncle(A,B) :- male(A),child(B,C) , in_law(A,C).
aunt(A,B) :- female(A),child(B,C) , sibling(A,C).
aunt(A,B) :- female(A),child(B,C) , in_law(A,C).

grandparent(A,B) :- grandfather(A,B).
grandparent(A,B) :- grandmother(A,B).

ancestor(A,B):- parent(A,B).
ancestor(A,B):- parent(C,B), ancestor(A,C).
descendant(A,B) :- ancestor(B,A).
first_cousin(A,B) :- parent(C,A),sibling(C,D),parent(D,B),A\=B.

nephew(A,B) :- male(A),parent(C,A),sibling(C,B).
neice(A,B) :- female(A),parent(C,A),sibling(C,B).

half_sibling(A,B) :- child(A,P1),child(B,P1),child(A,P2),child(B,P3),P2\=P3,P1\=P2,P1\=P3.

relation(A,B,'married') :- married(A,B).
relation(A,B,'brother') :- brother(A,B).
relation(A,B,'sister') :- sister(A,B).
relation(A,B,'father') :- father(A,B).
relation(A,B,'mother') :- mother(A,B).
relation(A,B,'bastard') :- bastard(A,B).
relation(A,B,'ancestor') :- ancestor(A,B).
relation(A,B,'descendant') :- descendant(A,B).
relation(A,B,'nephew') :- nephew(A,B).
relation(A,B,'neice') :- neice(A,B).
relation(A,B,'uncle') :- uncle(A,B).
relation(A,B,'aunt') :- aunt(A,B).
relation(A,B,'half_sibling') :- half_sibling(A,B).
relation(A,B,'first_cousin') :- first_cousin(A,B).
relation(A,B,'brother_in_law') :- brother_in_law(A,B).
relation(A,B,'sister_in_law') :- sister_in_law(A,B).
*/

% References - http://gameofthrones.wikia.com/wiki/House_Targaryen
%              http://gameofthrones.wikia.com/wiki/House_Stark