Family Tree

male( philip ).
male( goerge ).
male( archie ).
male( charles ).
male( william ).
male( harry ).
male( louis ).
female( elizabeth ).
female( diana ).
female( catherin ).
female( meghan ).
female( charlotte ).
parent( elizabeth , charles).
parent( philip , charles ).
parent( charles , william ).
parent( charles , harry ).
parent( diana , william ).
parent( diana , harry ).
parent( william , goerge).
parent( william , charlotte).
parent( william , louis ).
parent( catherin , goerge).
parent( catherin, charlotte).
parent( catherin , louis ).
parent( harry , archie).
parent( meghan , archie).

child( X , Y ) :- parent( Y , X ).
grandparent( X , Y ) :- parent( X , Z ) , parent( Z , Y ).
grandchild( X , Y ) :- grandparent( Y , X ). /*X is a grandchild of Y is Y is Grandparent of X*/
wife( X , Y ) :- child( Z , X ) , child( Z , Y ) , male( Y ) , female( X ).
sibling( X , Y ) :- parent( Z , X ) , child( Y , Z ) , X\=Y.
uncle( X, Y ) :- parent( Z , Y ) , sibling( Z , X ) , male( X ) , male( Z ) , Z\=X.
aunt( X , Y ) :- uncle( Z , Y ) , wife( X , Z ) , female( X ).
nephew( X , Y ) :- uncle( Y , X ) , male( X ).
nephew( X , Y ) :- aunt( Y , X ) , male( X ).
niece( X , Y ) :- uncle( Y , X ) , female( X ).
niece( X , Y ) :- aunt( Y , X ) , female( X ).