predicates
male(symbol)
female(symbol)
father(symbol,symbol)
mother(symbol,symbol)
parent(symbol,symbol)
sister(symbol,symbol)
grandson(symbol,symbol)
sibling(symbol,symbol)
clauses
male(rahul).
male(harshal).
male(shyam).
male(pushpak).
male(abhishek).
female(karishma).
female(priya).
female(manisha).
female(bharati).
female(shruti).
female(riya).
father(rahul,shyam).
father(harshal,shyam).
father(pushpak,abhishek).
father(shyam,pushpak).
father(rahul,priya).
father(abhishek,shruti).
mother(riya,shruti).
mother(bharati,abhishek).
mother(manisha,shruti).
parent(X,Y):-father(X,Y).
parent(X,Y):-mother(X,Y).
sibling(X,Y):-parent(Z,X),parent(Z,Y),X<>Y.
sister(X,Y):-sibling(X,Y),female(X).
grandson(X,Y):-male(X),parent(Y,Z),parent(Z,X).





0 comments