Use the knowledge in the family relation example (Links to an external site.) in the lecture note
to carry out the following tasks:
1. Represent the knowledge in the disjunctive normal form (Links to an external
site.) and prove grandfather(randy,mary) using resolution, step by step.
2. Represent the knowledge in a Prolog program, and answer the
queries grandfather(randy,mary) and grandfather(G, C), in SWI-Prolog. After that,
extend the program to cover more family relations, such as aunt and uncle, by
adding and modifying facts and rules of your choice.