Suppose that Prolog facts are used to define the predicates mother $(M,Y)$ and father (F,X), which represent that M is the mother of $Y$ and $F$ is the father of $X$ respectively. Give a Prolog rule to define the predicate grandfather $(X,Y)$, which represent that $X$ is the grandfather of $Y$.
