Q. Ramayan
parent(ram,kush).
parent(ram,lav).
parent(sita,kush).
parent(sita,lav).
parent(dasarath,ram).
parent(dasarath,bharata).
parent(dasarath,lakshmana).
parent(dasarath,shatrughna).
parent(kausalya,ram).
parent(kaikeyi,bharata).
parent(sumitra,lakshmana).
parent(sumitra,shatrughna).
male(ram).
male(lav).
male(kush).
male(dasarath).
male(bharata).
male(lakshmana).
male(shatrughna).
female(sita).
female(kausalya).
female(kaikeyi).
female(sumitra).
grandparent(X,Y):-parent(X,Z),parent(Z,Y).
grandfather(X,Y):-parent(X,Z),parent(Z,Y),male(X).
grandmother(X,Y):-parent(X,Z),parent(Z,Y),female(X).
father(X,Y):-parent(X,Y),male(X).
mother(X,Y):-parent(X,Y),female(X).
son(X,Y):-parent(Y,X),male(X).
brother(X,Y):-parent(Z,X),parent(Z,Y),male(X).
child(X,Y):-parent(Y,X).
wife(X,Y):-parent(X,Z),parent(Y,Z),female(X).
husband(X,Y):-parent(X,Z),parent(Y,Z),male(X).
uncle(X,Y):-parent(M,Y),parent(Z,M),parent(Z,X),male(X).
nephew(Y,X):-parent(M,Y),parent(Z,M),parent(Z,X),male(Y).
Q. CALCULAOR IN PROLOG
add(X,Y,SUM):-
SUM is X+Y.
sub(X,Y,SUB):-
SUB is X-Y.
mul(X,Y,MUL):-
MUL is X*Y.
div(X,Y,DIV):-
DIV is X/Y.
QUERY
div(100,2,DIV),
mul(100,2,MUL),
sub(100,2,SUB),
add(100,2,SUM).
Q. FACTORIAL IN PROLOG
factorial(0,F,F).
factorial(N,A,F) :-
N > 0,
A1 is N*A,
N1 is N -1,
factorial(N1,A1,F).
QUERY
factorial(N1,A1,F).
Q. FIBONACCI SERIES RECURSIVE
fib(0, 1) :-
!.
fib(N, F) :-
fib(1, N, 1, 1, F).
fib(N, N, _, F, F) :-
!.
fib(N0, N, F0, F1, F) :-
N1 is N0 + 1,
F2 is F0 + F1,
fib(N1, N, F1, F2, F).
QUERY
(fib(30, Fib)).
Q. Write a Prolog program GCD
gcd(X,Y,G) :- X=Y, G=X.
gcd(X,Y,G) :- X<Y, Y1 is Y-X, gcd(X,Y1,G).
gcd(X,Y,G) :- X>Y ,gcd(Y,X,G).
QUERY
gcd(24,16,G).
/*nehru*/
parent(nehru,indira).
parent(kamala,indira).
parent(indira,rajib).
parent(indira,sanjay).
parent(feroz,rajib).
parent(feroz,sanjay).
parent(rajib,rahul).
parent(rajib,priyanka).
parent(sonia,rahul).
parent(sonia,priyanka).
parent(sanjay,varun).
parent(meneka,varun).
male(nehru).
male(feroz).
male(rajib).
male(rahul).
male(sanjay).
male(varun).
female(kamala).
female(indira).
female(priyanka).
female(meneka).
female(sonia).
grandparent(X,Y):-parent(X,Z),parent(Z,Y).
grandfather(X,Y):-parent(X,Z),parent(Z,Y),male(X).
grandmother(X,Y):-parent(X,Z),parent(Z,Y),female(X).
father(X,Y):-parent(X,Y),male(X).
mother(X,Y):-parent(X,Y),female(X).
son(X,Y):-parent(Y,X),male(X).
daughter(X,Y):-parent(Y,X),female(X).
brother(X,Y):-parent(Z,X),parent(Z,Y),male(X).
child(X,Y):-parent(Y,X).
wife(X,Y):-parent(X,Z),parent(Y,Z),female(X).
husband(X,Y):-parent(X,Z),parent(Y,Z),male(X).
uncle(X,Y):-parent(M,Y),parent(Z,M),parent(Z,X),male(X).
nephew(Y,X):-parent(M,Y),parent(Z,M),parent(Z,X),male(Y).
niece(Y,X):-parent(M,Y),parent(Z,M),parent(Z,X),female(Y).
aunty(X,Y):-parent(M,Y),parent(Z,M),parent(Z,W),wife(X,W),female(X).
brother_in_law(X,Y):-parent(Z,X),parent(Z,W),wife(Y,W),male(X).
/*AMBANI*/
parent(dhirubhai,mukesh).
parent(dhirubhai,anil).
parent(kokilaben,mukesh).
parent(kokilaben,anil).
parent(mukesh,akash).
parent(mukesh,isha).
parent(mukesh,anant).
parent(nita,akash).
parent(nita,isha).
parent(nita,anant).
parent(anil,anmol).
parent(anil,anshul).
parent(tina,anmol).
parent(tina,anshul).
parent(akash,prithvi).
parent(shloka,prithvi).
male(dhirubhai).
male(mukesh).
male(anil).
male(akash).
male(anant).
male(anmol).
male(anshul).
male(prithvi).
female(kokilaben).
female(nita).
female(tina).
female(isha).
female(shloka).
grandparent(X,Y):-parent(X,Z),parent(Z,Y).
grandfather(X,Y):-parent(X,Z),parent(Z,Y),male(X).
grandmother(X,Y):-parent(X,Z),parent(Z,Y),female(X).
father(X,Y):-parent(X,Y),male(X).
mother(X,Y):-parent(X,Y),female(X).
son(X,Y):-parent(Y,X),male(X).
daughter(X,Y):-parent(Y,X),female(X).
brother(X,Y):-parent(Z,X),parent(Z,Y),male(X).
child(X,Y):-parent(Y,X).
wife(X,Y):-parent(X,Z),parent(Y,Z),female(X).
husband(X,Y):-parent(X,Z),parent(Y,Z),male(X).
uncle(X,Y):-parent(M,Y),parent(Z,M),parent(Z,X),male(X).
nephew(Y,X):-parent(M,Y),parent(Z,M),parent(Z,X),male(Y).
niece(Y,X):-parent(M,Y),parent(Z,M),parent(Z,X),female(Y).
aunty(X,Y):-parent(M,Y),parent(Z,M),parent(Z,W),wife(X,W),female(X).
brother_in_law(X,Y):-parent(Z,X),parent(Z,W),wife(Y,W),male(X).
Post a Comment