Starting from the base predicates parentOf(Parent,Child) male( ) female( ) with the obvious intuitive meanings Define rules defining the following family relations grandMother(GM,GC) %GM is the grandmother of GC greatGrandParent(GGP,GGC) %GGP is the great-grandparent of GGC brotherOf(B,S) %B is the brother of S; same meaning as %defined in class secondCousin(A,B) %A and B share a great-grandparent but %no closer ancestor BONUS: To make sure your definitions above are correct, you are encouraged to try running these as Prolog programs.