BHAVESH_KRISHAN_G

ARG_CSE4B-G1
2K20CSUN01019
MANAV RACHNA UNIVERSITY
Department of CST
(Artificial Intelligence – CSH205B-T & P)
Lab - 02
Learning Outcomes: Techniques of representing knowledge: Facts and Rules.

Course Outcome Bloom’s Taxonomy Program Outcome

CO1 BT1, BT2 PO1
Topics for Discussion:
Rules in PROLOG.
 Head and Body
 Operators(break, AND, OR)
Experiments:
1. Create facts for representing disease and their symptoms.
SOURCE CODE
domains
disease,indication,person = symbol

predicates
symptom(person, indication)
person_malaria(person, disease)

clauses
symptom(rohan, high_fever).
symptom(rohan, headaches).
symptom(rohan, vomit).
symptom(rohan, chills).
person_malaria(X, maleria):-
symptom(X, high_fever),
symptom(X, chills),
symptom(X, vomit),
symptom(X, chills).

1|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019
OUTPUT

2|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019
2. Implement the following Family Tree in PROLOG. Create basic facts and rules and
check the same with appropriate goals.

Prithviraj Kapoor
(Ramsarni)

Raj Kapoor Shammi Kapoor Shashi

Kapoor
(Krishna) Geeta Bali Jennifer

Aditya Raj Kapoor Kunal

Kapoor

Randhir Kapoor Ritu Kapoor Rishi Kapoor Reema Kapoor

Rajeev Kapoor
(Babita) (Rajan Nanda) (Nitu)

Karishma Kareena Ranbir Kapoor

(Sanjay) (Saif)

Samaira

3|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019

SOURCE CODE
domains
person = symbol
predicates
male(person)
female(person)
father(person,person)
mother(person,person)
husband(person,person)
wife(person,person)
brother(person,person)
sister(person,person)
father_in_law(person,person)
mother_in_law(person,person)
daughter(person,person)
son(person,person)
clauses
male(prithviraj).
male(raj).
male(shammi).
male(shashi).
male(aditya_raj).
male(kunal).
male(randhir).
male(rishi).
male(rajan_nanda).
male(sanjay).
male(saif).
male(ranbir).
female(ramsarni).
female(krishna).
female(geetabali).
female(jennifer).
female(babita).
female(ritu).
female(nitu).
female(reema).
female(karishma).
female(kareena).
female(samaira).
father(prithviraj,raj).
father(prithviraj,shammi).
father(prithviraj,shashi).
4|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019
father(raj,randhir).
father(raj,ritu).
father(raj,rishi).
father(raj,reema).
father(shammi,aditya_raj).
father(shashi,kunal).
father(randhir,karishma).
father(randhir,kareena).
father(rishi,ranbir).
father(sanjay,samaira).
husband(prithviraj, ramsarni).
husband(raj,krishna).
husband(shammi,geetabali).
husband(shashi,jennifer).
husband(randhir,babita).
husband(rajan_nanda,ritu).
husband(rishi, nitu).
husband(sanjay,karishma).
husband(saif,kareena).

5|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019
OUTPUT

6|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019
3. Implementation of Rules with Family tree example, and
Answer the following questions:
1. Create a rule for mother() and Father().
2. Create a rule for grandfather() and grandmother().
3. Create a rule for sister() and brother().
4. Create a rule for father() and grandfather().
5. Create a rule for father-in-law() and mother-in-law().
SOURCE CODE
domains
person = symbol
predicates
male(person)
female(person)
father(person,person)
mother(person,person)
husband(person,person)
wife(person,person)
brother(person,person)
sister(person,person)
father_in_law(person,person)
mother_in_law(person,person)
daughter(person,person)
son(person,person)
clauses
male(prithviraj).
male(raj).
male(shammi).
male(shashi).
male(aditya_raj).
male(kunal).
male(randhir).
male(rishi).
male(rajan_nanda).
male(sanjay).
male(saif).
male(ranbir).
female(ramsarni).
female(krishna).
7|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019
female(geetabali).
female(jennifer).
female(babita).
female(ritu).
female(nitu).
female(reema).
female(karishma).
female(kareena).
female(samaira).
father(prithviraj,raj).
father(prithviraj,shammi).
father(prithviraj,shashi).
father(raj,randhir).
father(raj,ritu).
father(raj,rishi).
father(raj,reema).
father(shammi,aditya_raj).
father(shashi,kunal).
father(randhir,karishma).
father(randhir,kareena).
father(rishi,ranbir).
father(sanjay,samaira).
husband(prithviraj, ramsarni).
husband(raj,krishna).
husband(shammi,geetabali).
husband(shashi,jennifer).
husband(randhir,babita).
husband(rajan_nanda,ritu).
husband(rishi, nitu).
husband(sanjay,karishma).
husband(saif,kareena).
wife(W,H) :- husband(H,W).
mother(X,Y) :- wife(X,Z),father(Z,Y).
son(X,Y) :- father(Y,X),male(X).
daughter(X,Y) :- father(Y,X),female(X).
brother(X,Y) :- father(Z,X),father(Z,Y),male(X),male(Y),X<>Y.
sister(X,Y) :- father(Z,X),father(Z,Y),female(X),female(Y),X<>Y.
father_in_law(X,Y):- father(X,Z),male(Z),husband(Z,Y).
mother_in_law(X,Y):- father_in_law(Z,Y),husband(Z,X).
8|Page
 BHAVESH_KRISHAN_G
ARG_CSE4B-G1
2K20CSUN01019
OUTPUT

9|Page