PRACT8.PRO

domains
person=symbol
predicates
f	male(person)
	female(person)
	father(person,person)
	mother(person,person)
	brother(person,person)
	sister(person,person)
	parent(person,person)
	grandfather(person,person)
	grandmother(person,person)	
	maternal_grandfather(person,person)
	maternal_grandmother(person,person)
	sibiling(person,person)
	husband(person,person)
	wife(person,person)
	uncle(person,person)
	aunt(person,person)
	maternal_uncle(person,person)
	maternal_aunt(person,person)
	son(person,person)
	daughter(person,person)
	cousin_brother(person,person)
	cousin_sister(person,person)
	foi(person,person)
	fufa(person,person)
	nephew(person,person)

clauses
	male(jankilal).	
	male(ganpatlal).
	male(rajkumar).
	male(pawan).
	male(manoj).
	male(om).
	male(natwar).
	male(ankit).
	male(puneet).
	male(madhav).
	male(rohit).
	male(bittu).
	male(chiraj).
	male(shubham).
	male(raghav).
	male(manish).
	male(raju).
	male(vidul).
	male(dipanshu).
	male(raja).
	male(deepak).
	
	
	female(shrikanta).
	female(geetadevi).
	female(tara).
	female(kiran).
	female(sarita).
	female(mamta).
	female(pushpa).
	female(urmila).
	female(santosh).
	female(usha).
	female(sonu).
	female(monu).
	female(sheetal).
	female(kirti).
	female(rinku).
	female(chandni).
	female(neha).
	female(nikita).
	female(diya).
	female(tinny).
	female(kanu).
	female(swati).
	female(sweta).
	female(arti).
	female(niddhi).
	female(pritee).
	female(shruti).
	female(komal).
	female(ketika).
	female(vidula).
	
	father(jankilal,rajkumar).
	father(jankilal,tara).
	father(jankilal,pawan).
	father(jankilal,kiran).
	father(jankilal,sarita).
	father(jankilal,manoj).
	father(jankilal,mamta).
	father(ganpatlal,om).
	father(ganpatlal,pushpa).
	father(ganpatlal,urmila).
	father(ganpatlal,santosh).
	father(ganpatlal,natwar).
	father(ganpatlal,usha).
	father(rajkumar,sonu).
	father(rajkumar,monu).
	father(rajkumar,ankit).
	father(pawan,sheetal).
	father(pawan,kirti).
	father(pawan,puneet).
	father(manoj,tinny).
	father(manoj,kanu).
	father(manoj,madhav).
	father(om,raju).
	father(om,manish).
	father(om,sweta).
	father(om,swati).
	father(natwar,vidul).
	father(natwar,vidula).
	
	mother(tara,rinku).
	mother(tara,raghav).
	mother(kiran,rohit).
	mother(kiran,chandni).
	mother(kiran,neha).
	mother(sarita,shubham).
	mother(sarita,nikita).
	mother(sarita,diya).
	mother(mamta,bittu).
	mother(mamta,chiraj).
	mother(sumitra,mepal).
	mother(sumitra,satish).
	mother(sumitra,pushpa).
	mother(sumitra,kalpana).
	mother(sarika,hetal).
	mother(sarika,mayank).
	mother(sarika,raj).
	mother(sarita,yash).
	mother(sarita,bhavini).
	mother(bhavana,ashish).
	mother(bhavana,yashvi).
	mother(sonal,nakshita).
	mother(sonal,reeva).
	mother(pushpa,hemant).
	mother(pushpa,riddhi).
	mother(kalpana,vidhi).
	mother(kalpana,arnik).
	mother(santosh,sarita).
	mother(santosh,navin).
	mother(santosh,kirti).
	mother(kiran,minal).
	mother(kiran,jinal).
	mother(kiran,harshvardhan).
	mother(ankita,sanchita).
	mother(ankita,veerti).
	mother(rakhi,arham).
	
	grandfather(X,Y):-
		male(X),
		father(Z,Y),
		father(X,Z).
    grandmother(X,Y):-
		female(X),
		father(Z,Y),
		mother(X,Z).
	maternal_grandfather(X,Y):-
		male(X),
		mother(Z,Y),
		father(X,Z).
    maternal_grandmother(X,Y):-
		female(X),
		mother(Z,Y),
		mother(X,Z).
	parent(X,Y):-
		mother(X,Y);
		father(X,Y).
	husband(X,Y):-
		male(X),
		mother(Y,Z),
		father(X,Z).
	wife(X,Y):- 
		female(X),
		mother(X,Z),
		father(Y,Z).
    son(X,Y):-
		male(X),
		father(Y,X);
		male(X),
		mother(Y,X).
	daughter(X,Y):-
		female(X),
		father(Y,X);
		female(X),
		mother(Y,X).
	sibiling(X,Y):-
		parent(Z,X),
		parent(Z,Y),
		X<>Y.
	brother(X,Y):-
		male(X),
		father(Z,X),
		father(Z,Y),X<>Y.
	sister(X,Y):-
		female(X),
		father(Z,X),
		father(Z,Y),X<>Y.
	cousin_brother(X,Y):-
		father(Z,Y),
		brother(W,Z),
		son(X,W);
		father(Z,Y),
		sister(W,Z),
		son(X,W).
	cousin_sister(X,Y):-
		father(Z,Y),
		brother(W,Z),
		daughter(X,W);
		father(Z,Y),
		sister(W,Z),
		daughter(X,W).
	uncle(X,Y):-
		male(X),
		father(Z,Y),
		brother(X,Z).
	aunt(X,Y):-
		female(X),
		father(Z,Y),
		brother(W,Z),
		wife(X,W).
    maternal_uncle(X,Y):-
		male(X),
		mother(Z,Y),
		brother(X,Z).
	maternal_aunt(X,Y):-
		female(X),
		mother(Z,Y),
		brother(W,Z),
		wife(X,W).
	foi(X,Y):-
		female(X),
		father(Z,Y),
		sister(X,Z).
	fufa(X,Y):-
		male(X),
		father(Z,Y),
		sister(W,Z),
		husband(X,W).
	nephew(X,Y):-
		brother(Z,Y),
		son(X,Z);
		sister(Z,Y),
		son(X,Z);
		cousin_brother(Z,Y),
		son(X,Z);
		cousin_sister(Z,Y),
		son(X,Z).