2. sibling, brother, and sister. x is a sibling of y if x and y are two...
Question:
2. sibling, brother, and sister.
x is a sibling of y if x and y are two different people who share a parent in common. A brother is a sibling who is male; a sister is a sibling who is female. These exercises will give you practice writing and running Prolog programs that reason in a simple way about family relationships, mostly exotic flavors of cousins. Begin your Prolog program by writing a collection of clauses for the child, male, and female predicates for some real or imaginary family. To make things interesting, make sure that more than four generations of people are represented. Note that nobody should have more than two parents (one male and one female), but some individuals will have fewer than two parents recorded. As you work on the following predicates, you should augment your family as necessary so that each of the predicates you define has at least one example in your family.
Figure 3.1 showed clauses for the predicates parent, father, and grand_father.
Now write clauses for each of the following predicates (and for any other auxiliary predicates you find useful)
Step by Step Answer: