1. Translate the following statements into prolog rules: (a) Everybody who has a child is happy (introduce a one-argument relation happy). (b) For all X, if X has a child who has a sister then \( \mathrm{X} \) has two children (introduce new relation has two children)
II. Define the relation grandchild using the parent relation
III. Define the relation aunt ( \( \mathrm{X}, \mathrm{Y}) \) in terms of the relations parent and sister. As an aid you can first draw a diagram IN TREE FORM E.G.