Course: Artificial Intelligence PAF KIET NORTH NAZIMABAD CAMPUS

1. Prolog Code [Family Tree] by Shahzeb Pirzada
male(anwar).
male(nadeem).
male(waseem).
male(saleem).
male(faheem).
male(saad).
male(fahad)
female(firdos).
female(atiya).
female(fozia).
female(sadaf).
female(sonia).
female(fatima).
parent(anwar,firdos,nadeem).
parent(anwar,firdos,waseem).
parent(nadeem,atiya,faheem).
parent(waseem,fozia,saleem).
parent(waseem,fozia,sadaf).
brother(nadeem,waseem).
brother(waseem,nadeem).
brother(faheem,saleem).
brother(saleem,faheem).
sister(sadaf,saleem).
sister(sadaf,faheem).
wife(anwar,firdos).
wife(nadeem,atiya).
husband(firdos,anwar).
husband(atiya,nadeem).
husband(fozia,waseem).
aunt(sonia,saad).
uncle(fahad,fatima).
grandmother(anwar,sadaf).
father(X,Y) :- parent(X,Z,Y).
mother(X,Y) :- parent(Z,X,Y).
son(X,Y,Z) :- male(X),father(Y,X),mother(Z,X).
daughter(X,Y,Z) :- female(X),father(Y,X),mother(Z,X).
wife(X,Y) :- female(X),parent(Y,X,Z).
husband(X,Y) :- male(X),parent(Y,X,Z).
grandfather(X,Y) :- male(X),father(X,Z),father(Z,Y).
grandmother(X,Y) :- female(Y),mother(Y,Z),mother(Z,Y).
uncle(X,Y) :- husband(X,Z),aunt(Z,Y).
aunt(X,Y) :- wife(X,Z),uncle(Z,Y).
cousin(X,Y) :- father(Z,X),brother(Z,W),father(W,Y).
ancestor(X,Y,Z) :- parent(X,Y,Z).
ancestor(X,Y,Z) :- parent(X,Y,W),ancestor(W,U,Z).
brother(X,Y) :- male(X),parent(X,Y).