You have been charged to develop a computational family tree for the goddesses and godsand in Greek mythology.The figure shows the family relations of 20 individuals.

1.Gaeaand Uranuswere the two primordialdeities (i.e., they are the only two who do nothave any parents). Uranus and Gaea hadt hree off-springs: Cronus, Dione, and Rhea.

2.Rheaand Cronushad six off-springs: Hestia, Demeter, Hera, Hades, Poseidon, and Zeus.

3.Heraand Zeuswere the parents of three children:Ares,Hebe, and Ilithyia.

4.Demeterand Zeushad onechild together:Persephone.

5. Dioneand Zeushad one off-spring, Aphrodite.

6. Aphroditeand Areshad one off-spring Harmonia.

7. Kadmosand Harmoniahad one off-spring, Semele.

8. Semeleand Zeushad one off-spring: Dionysus.

Task 1:

Create a model of this family in Prolog. Start with facts (i.e., ground axioms) about the family. For the ground axioms choose a consistent scheme of binary predicates.Develop the facts such that there are no redundancies in the facts. Deliver a completecopy of your facts in correct Prolog syntax.

Task 2: Analyze the properties and potential dependencies of the following family relations:

Parent

Child

Silbling

Grandparent

Grandchild

greatgrandchild

Task 3:

Add rules (i.e., logical axioms) for the six family relations(Task 2),using only first-order predicate calculus notation. The rules should be able to determine the relations (as defined by you, but consistent with your cultural norm) for the following concepts). If you use done as your base predicates, then you do not need a rule for that. Define these rules as concisely as possible. It will help if you consult the properties and dependencies of these family relations(Task 3). You do not need to use the setoff predicate to eliminate duplicates in query results.

Task 4:

Add a discussion of up to one page (double spaced) that addresses why you chose your scheme for the ground axioms. Elaborate what could have been at least one alternative to your chosen design. Provide arguments for why you did not choose that alternative