QUESTION 1 Given the following relationships in Prolog clauses: 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 to define rules for the following relationships: is_mother(X) /* X is a mother */

is_father(X) /* X is a father */

is_son(X) /* X is a son */

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, given the rules for female, sibling, and parent, we could write a rule for aunt. aunt(X,Y) :- female(X), sibling(X,Z), parent(Z,Y). or aunt(X,Y) :- sister_of(X,Z), parent(Z,Y). /* if we had sister_of rule. */ Test your rules by entering some facts of family relationships.