Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- male(sani).
- male(safat).
- male(arshad).
- male(dada).
- male(nana).
- female(sagorika).
- female(nanu).
- female(dadu).
- female(khalamoni_1).
- female(kakima_1).
- male(khalu_1).
- male(kaka_1).
- parent(sani,arshad).
- parent(safat,arshad).
- parent(sani,sagorika).
- parent(safat,sagorika).
- parent(arshad,dada).
- parent(sagorika,nana).
- parent(arshad,dadu).
- parent(sagorika,nanu).
- parent(khalamoni_1,nana).
- parent(khalamoni_1,nanu).
- parent(kaka_1,dada).
- parent(kaka_1,dadu).
- father(X,Y) :- male(Y),parent(X,Y).
- mother(X,Y) :- female(Y),parent(X,Y).
- son(X,Y) :- male(X),parent(Y,X).
- grandparentp(X,Y) :- male(S),parent(X,S),parent(S,Y).
- grandparentm(X,Y) :- female(Z),parent(X,Z),parent(Z,Y).
- aunt(X,Y) :- female(X),sister(X,Mom),mother(Mom,Y).
- aunt(X,Y) :- female(X),sister(X,Dad),father(Dad,Y).
- sister(X,Y) :- female(X),parent(Par,X),parent(Par,Y), X \= Y.
- uncle(X,Y) :- brother(X,Par),parent(Par,Y).
- cousin(X,Y) :- uncle(Unc , X),father(Unc,Y).
- ancestor(X,Y) :- parent(X,Y).
- ancestor(X,Y) :- parent(X,Somebody),ancestor(Somebody,Y).
- brother(X,Y) :- male(X),parent(Somebody,X),parent(Somebody,Y), X \= Y.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement