Question

1. For your family (or any other real or hypothetical family) write a PROLOG program "family.pro" that is based on the following facts: - is male (NAME). is female (NAME). is_parent_of (PARENT, CHILD ). e.g. e.g. e.g. is_male (tom). is_female (ann). is_parent_of (ann, tom). Add to these facts the following inference rules: - mother (MOTHER, CHILD) - father (FATHER, CHILD) sibling1 (NAME1, NAME2) brotheri (NAME1, NAME2) sisteri (NAME1, NAME2) (1 parent in common) (1 parent in common) (1 parent in common) sibling 2 (NAME1, NAME2) brother2 (NAME1, NAME2) sister2 (NAME1, NAME2) (2 parents in common) (2 parents in common) (2 parents in common) IIIIIIIIIIIII cousin (NAME1, NAME2) uncle (UNCLE, CHILDNAME) aunt (AUNT, CHILDNAME) grandparent (GRANDPARENT, GRANDCHILD) grandmother (GRANDMOTHER, GRANDCHILD) grandfather (GRANDFATHER, GRANDCHILD) grandchild (GRANDCHILD, GRANDPARENT) - greatgrandparent (GREATGRANDPARENT, GREATGRANDCHILD) - ancestor (ANCESTOR, CHILDNAME) Show the results of your program for each of inference rules. Note: In various cultures there are different interpretations of family relationships. All such interpretations are equally acceptable, and you may select any one of them.

Answer 1

Solved the first 4 sub-parts of the question as per Chegg's answering guidelines.

All the explanation is in the code comments. Hope this helps!

Code:

%facts ------------
is_male(tom).
is_male(jim).
is_male(mann).
is_female(ann).
is_female(alice).
is_parent_of(ann, tom).
is_parent_of(ann, alice).
is_parent_of(mann, jim).
is_parent_of(mann, alice).

% inference rules ----------------------------

% part a)
% mother - mother is parent of child and is female.
mother(MOTHER, CHILD):-
is_parent_of(MOTHER, CHILD),
is_female(MOTHER).
% part b)
% father - father is parent of child and is male.
father(FATHER, CHILD):-
is_parent_of(FATHER, CHILD),
is_male(FATHER).

% part c)
% sibling1 - name1 and name2 should have 1 common parent
% and name1 and name should be different.
sibling1(NAME1, NAME2):-
is_parent_of(X, NAME1),
is_parent_of(X, NAME2),
NAME1 \== NAME2.
% part d)
% brother1 - name1 and name2 should have 1 common parent,
% both of them should be male
% and name1 and name should be different.
brother1(NAME1, NAME2):-
is_parent_of(X, NAME1),
is_parent_of(X, NAME2),
is_male(NAME1),
is_male(NAME2),
NAME1 \== NAME2.

Sample run:

mother(X, Y). X = ann, = tom X = ann, Y = alice father(X, Y). X = mann, Y = jim X = mann, Y = alice sibling1(X, Y). X = tom, Y = alice X = alice, Y = tom X= jim, Y = alice X = alice Y = jim O, brother1(X, Y). false

Code screenshots:

facts ----------- is_male (tom). is_male(jim). is_male (mann). is_female (ann). is_female(alice). is_parent_of (ann, tom). is_parent_of (ann, alice). is_parent_of (mann, jim). is_parent_of (mann, alice). % inference rules --- - - - - - - - - - - % part a) % mother - mother is parent of child and is female. mother (MOTHER, CHILD):- is_parent_of (MOTHER, CHILD), is_female (MOTHER). % part b) % father - father is parent of child and is male. father (FATHER, CHILD):- is_parent_of (FATHER, CHILD), is_male (FATHER). % part c) % siblingi - namel and name2 should have 1 common parent % and namel and name should be different. sibling1 (NAME1, NAME2):- is_parent_of(X, NAME1), is_parent_of(x, NAME2), NAME1 \ == NAME2. % part d) § brotherl - namel and name2 should have 1 common parent, % both of them should be male % and namel and name should be different. brother1(NAME1, NAME2):- is_parent_of(X, NAME1), is_parent_of(X, NAME2), is_male (NAME1), is_male (NAME2), NAME1 \ == NAME2.