Question

QUESTION 1
Given the following relationships in Prolog clauses:
father(X,Y) /* X is the father of Y */

mother(X,Y) /* X is the mother of Y */

male(X) /* X is male */

female(X) /* X is female */

parent(X,Y) /* X is a parent of Y */

diff(X,Y) /* X and Y are different */

Write Prolog clauses to define rules for the following relationships:
is_mother(X) /* X is a mother */

is_father(X) /* X is a father */

is_son(X) /* X is a son */

sister_of(X,Y) /* X is a sister of Y */

grandpa_of(X,Y) /* X is a grandfather of Y */

sibling(X,Y) /* X is a sibling of Y */

For example, given the rules for female, sibling, and parent, we could write a rule for aunt.

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

or

aunt(X,Y) :- sister_of(X,Z), parent(Z,Y). /* if we had sister_of rule. */

Test your rules by entering some facts of family relationships.

Answer 1

Coding

predicates
parent(symbol,symbol).
male(symbol).
female(symbol).
mother(symbol,symbol).
father(symbol,symbol).
sister_of(symbol,symbol).
grandpa_of(symbol,symbol).
sibling(symbol,symbol).
dif(symbol,symbol).
aunt(symbol,symbol).
is_mother(symbol).
is_father(symbol).
is_son(symbol).
clauses
parent(navin,viral).
parent(pragna,viral).
parent(navin,poonam).
parent(meghji,navin).
parent(premila,navin).
parent(meghji,haresh).
parent(nitin,pragna).
parent(nitin,prachi).
male(nitin).
male(meghji).
male(viral).
male(navin).
female(pragna).
female(poonam).
female(premila).
female(prachi).
mother(X,Y):-parent(X,Y),female(X).
father(X,Y):-parent(X,Y),male(X).
sister_of(X,Y):-father(Z,X),father(Z,Y),female(Y),dif(X,Y).
grandpa_of(X,Y):-father(X,Z),father(Z,Y),male(Z),dif(X,Z).
dif(X,Y):-X<>Y.
sibling(X,Y):-parent(Z,X),parent(Z,Y),dif(X,Y).
is_mother(X):-mother(X,Y),female(X).
is_father(X):-father(X,Y),male(X).
is_son(X):-parent(Y,X),male(X).
aunt(X,Y):-female(X),sibling(X,Z),parent(Z,Y).

Output:

if you still have any Problem regarding this question please comment and if you like my code please appreciate me by thumbs up thank you.........