1. Change the following logical statement into Prolog rule.
For all X, X is a large animal if X is large, X is a bear, and X is brown.

1.ans: largeAnimal(X) :- large(X), bear(X), brown(X).

2. Consider the following clauses in the KB (occupation.pl): person(aaron, male, 37). person(soraya, female, 37). person(matin, male, 38). occupation(aaron, doctor). occupation(soraya, doctor). occupation(matin, manager).
a) Extend the KB to include the following logical statement in Prolog rule.
For all Q, Q is a male doctor if there is Q with some R such that R is a male and that Q's occupation is a doctor.
b) Provide an example of a query to illustrate your answer for Question 2a.

2. a) maleDoctor(Q) :- person(Q, R,_) ,occupational(Q, doctor), R=male. b) ?-maleDoctor(Q) Q=Aaron.

3. Write a Prolog program called family.pl which contains information about family of three generations as shown below.
Define the following relations using rules in Prolog.
a. father
b. mother
c. sister
d. aunty
e. cousin 3. female(lin). female(patricia). female(sarah). female(dora). female(betty).

male(tom). male(max). male(david). male(jim). parentsOf(tom,patricia). parentsOf(tom,sarah). parentsOf(tom,max). parentsOf(lin,patricia). parentsOf(lin,sarah). parentsOf(lin,max). parentsOf(jim,james). parentsOf(patricia,james). parentsOf(david,dora). parentsOf(david,betty). parentsOf(sarah,dora). parentsOf(sarah,betty). Rules: father(X,Y) :- parentsOf(X,Y) , male(X). mother(X,Y) :- parentsOf(X,Y) , female(X). sister(X,Y):- parentsOf(Z,X), parentsOf(Z,Y), female(X), male(Z), X \=Z. aunty(X,Y):- mother(Z,Y), sister(X,Z). cousin(X,Y):- aunty(W,X), mother(W,Y).