The document contains facts and rules written in Prolog code that define relationships within a family tree. It lists family members as male or female and defines parent, sibling, spouse and other relationships between individuals. Rules are included to deduce additional relationships like father, mother, son, daughter, grandparents and more based on the initial facts provided.

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).