03. Suppose someone has already written Prolog clauses that define the following relationships: father(X,Y) /* X is the father of Y */ mother(X,Y) /* X is the mother of Y*/ male(X) /* X is male */ female(x) /* X is female */ parent(X,Y) /* X is a parent of Y*/ diff(X,Y) /* X and Y are different */ Write Prolog clauses (rule) to define the following relationships: is_mother(X) /* X is a mother */ is_father(x) /* X is a father */ is_son(x) /* X is a son 7 sister_of(X,Y) /* X is a sister of Y*/ grandpa_of(X,Y) /* X is a grandfather of Y*/ sibling(X,Y) /* X is a sibling of Y*/ For example, we could write a rule for aunt, provided we were supplied with (or wrote) rules for female, sibling, and parent. aunt(X, Y) :- female(x), sibling(X, Z), parent(Z,Y). This could also be written: aunt(X,Y) - sister_of(X, Z), parent(Z,Y)