Hint
-      father_of(Father,Child) and mother_of(Mother,Child):
      
 Fathers are male parent and mothers are female parents.
-  grandfather_of(Grandfather,Child) and grandmother_of(Grandmother,Child):
      
 X is a grandfather of Y if X is a father of Z and Z is a parent of Y. X is a grandmother of Y if X is a mother of Z and Z is a parent of Y.
-  sister_of(Sister,Person) and brother_of(Brother,Person):
      
 X is a sister of Y if X is female and Z is a parent of both X and Y.
-  aunt_of(Aunt,Person) and uncle_of(Uncle,Person):
      
 X is an aunt of Y if X is a sister of Z and Z is a parent of Y.
Solution
Last modified: Wed Dec  1 13:25:18 CET 2004