Section$-1$: Prolog

$1.$ The family tree below shows a part of the family tree in the Mahabharat. Model the family tree similar to the example discussed in class. In particular, define the following predicates:

parent $\backslash (($X$,$ Y$)-$X $\backslash )$ is the parent of $\backslash ($ Y $\backslash ).$

Similarly, ancestor$(\backslash (\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ brother $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ stepBrother $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ sister $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ stepSister $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ mother $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ stepMother $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash )$ father $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ stepFather$(\backslash (\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\}\backslash )),$ grandFather $\backslash (($X$,$ Y$)\backslash ),$ grandMother$(\backslash (\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash ),$ maternalUncle $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash )-$ mother's brother, maternalAunt $\backslash ((\backslash$mathrm$\{$X$\},\backslash$mathrm$\{$Y$\})\backslash )-$ mother's sister, maternalUncleWife$($X$,$ Y $)$ mother's brother's wife, maternalAuntHusband$($X$,$Y $)-$ mother's sister's husband, paternalUncle$($X$,$Y $)-$ father's brother, paternalAunt$($X$,$Y $)-$ father's sister, paternalUncleWife$($X$,$Y $)-$ father's brother's wife, paternalAuntHusband$($X$,$Y $)-$ father's sister's husband.

In addition define any extra predicates that you require to express the relations correctly.

Key to the Symbols

Blue

Male $-$ Pandavas Note: In each case write Prolog programs for the predicates given in the problem. Clearly specify the meaning of any supplementary or helping predicates you need.