Prolog programming …
Using Amzi Prolog, create and test prolog clauses to perform relation between mother,father,
sister, brother, nephew, granddad, grandmother.
(make up something interesting relating to families.)
Solution
%trace
predicates
father(symbol,symbol)
mother(symbol,symbol)
male(symbol)
female(symbol)
sister(symbol,symbol)
brother(symbol,symbol)
uncle(symbol,symbol)
wife(symbol,symbol)
aunty(symbol,symbol)
sisterinlaw(symbol,symbol)
cousin(symbol,symbol)
nephew(symbol,symbol)
grand_son(symbol,symbol)
grand_duaghter(symbol,symbol)
clauses
sister(X,Y) :- father(X,A),father(Y,A),female(Y).
father(dhanjiBhai,vithhaldas).
father(chuniBhai,vithhaldas).
father(harshad,dhanjibhai).
father(darshan,dhanjibhai).
father(nilam,dhanjibhai).
father(kiran,dhanjibhai).
father(kamleshbhai,chunibhai).
mother(harshad,prabhaben).
mother(X,Y) :- father(X,Z),wife(Y,Z).
brother(X,Y) :- father(X,A),father(Y,A),male(X).
% brother(X,Y) :- brother(Y,X).
male(harshad).
male(darshan).
male(dhanjibhai).
male(chunibhai).
female(nilam).
female(kiran).
female(prabhaben).
female(nimishaben).
female(kokilaben).
wife(prabhaben,dhanjibhai).
wife(nimishaben,kamleshbhai).
Wife(kokilaben,chunibhai).
grand_son(X,Y) :- father(A,Y),father(X,A),male(X).
grand_duaghter(X,Y) :- father(A,Y),father(X,A),female(Y).
uncle(X,Y) :- father(X,Z),brother(Y,Z).
aunty(X,Y) :- wife(Y,Z),
brother(Z,W),
father(X,W).
sisterinlaw(X,Y) :- wife(X,Z),cousin(Y,Z),female(X).
cousin(X,Y) :- father(X,A),father(Y,B),brother(A,B).
nephew(X,Y) :- wife(Y,A),brother(A,B),father(X,B),male(X)..
