Chapter 6, Problem 57CRP

Explanation of Solution

Extended prolog program:

The prolog program to find the family relationship using the prolog rule is shown below:

%"carol" is a female

female(carol).

%"sue" is a female

female(sue).

%"bill" is a male

male(bill).

%"john" is a male

male(john).

%"john" is parent of "carol"

parent(john, carol).

%"sue" is parent of "carol"

parent(sue, carol).

%This rule for find the mother for given child

mother(X, Y) :- parent(X, Y), female(X).

%This rule for find the father for given child

father(X, Y) :- parent(X, Y), male(X).

%This rule for sibling

%It means that X is Y's sibling if X and Y have a common parent

sibling(X, Y) :- parent(Z, X), parent(Z, Y), X\=Y.

%Rule for find the relationship of uncle

uncle(U,N):- male(U),sibling(U,Z),parent(Z,N).

%Rule for find the relationship of aunt

aunt(X,N):- female(X),sibling(X,Z),parent(Z,N).

%Rule for find the relationship of grandParent

grandParent(G,N):- parent(G,P),parent(P,N).

%Rule for find the relationship of cousin

cousin(X1,X2) :-

     parent(Y1,X1),

     parent(Y2,X2),

     sibling(Y1,Y2).

%Rule for find the parents of Z's.

parents(X, Y, Z):- parent(X, Z), parent(Y, Z).

Prolog Code Explanation:

The given program is used to find the family relationship using prolog rule.

• From the above code, first assign the two females “carol” and “sue” by using prolog rule “female(carol)” and “female(sue)” respectively.
• Then assign the two males “bill” and “john” by using prolog rule “male(bill)” and “male(john)” respectively.
• The rule “parent(john, carol)” implies “john” is parent of “carol”.
• The rule “parent(sue, carol)” implies “sue” is parent of “carol”...