Prolog Code [Family Tree] by Shahzeb Pirzada
Download as TXT, PDF3 likes3,496 views
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.
![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).](https://image.slidesharecdn.com/aiprojectspfamilytree-161215054643/85/Prolog-Code-Family-Tree-by-Shahzeb-Pirzada-1-320.jpg)
Prolog Code [Family Tree] by Shahzeb Pirzada
- 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).