PRACTICAL PAPER

----------------------------------

Knowledge base -1
-----------------

likes(bonsa, chaltu).
likes(chala, gamane).
likes(chala, hawi).

likes(chaltu,bonsa):-likes(bonsa,chaltu),not(likes(bonsa,gamane)).
likes(chaltu,bonsa):-likes(bonsa,chaltu),not(likes(bonsa,gamane)).
dates(bonsa,chaltu):-likes(bonsa,chaltu),likes(chaltu,bonsa).
likes(hawi,chala):-not(likes(bonsa,hawi)),not(likes(chala,gamane)).
fight(bonsa,chala):-likes(chala,gamane).
fight(chaltu,gamane):-likes(bonsa,chaltu),likes(bonsa,gamane).

Queries
-------

1. likes(chaltu,hawi).
2. likes(hawi,bonsa).
3. dates(bonsa,chaltu).
4. likes(chaltu,bonsa).
5. likes(hawi,chala).
6. fight(bonsa,chala).
7. fight(chaltu,gamane).
8. not(likes(bonsa,gamane)).
10. likes(chala,hawi).

Knowledge base - 2
------------------

boy(amin).
boy(chala).
girl(hawi).
girl(biftu).
dates(chala,biftu).
dates(amin,hawi).
eats(fraud,+).
eats(fraud,-).
eats(fraud,*).
eats(fraud,/).

Queries
--------

1. dates(X,Y).
2. boy(X),girl(Y).
3. eats(fraud,X).
4. eats(X,Y).
5. dates(amin,X),girl(X).
6. dates(chala,Y),girl(B).

Knowledge base - 3
-------------------

likes(bonsa,chaltu).
likes(bonsa,gamane).
dates(bonsa,chaltu):-not(likes(bonsa,chaltu));not(likes(bonsa,gamane)).
dates(Arif,chaltu):-not(likes(bonsa,chaltu));likes(bonsa,gamane).

Queries
-------

1. likes(bonsa,X).
2. likes(i,gamane).
3. likes(M,gamane).
4. likes(A,B).
5. dates(bonsa,chaltu).
6. dates(Arif,chaltu).

Knowledge base - 4
------------------

dog(fido).
cat(ruti).
animal(X):-dog(X).

Queries
-------
1. animal(fido).
2. animal(ruti).
3. dog(n).
4. dog(G).
5. cat(ruti).

Knowledge base - 5
------------------

student(hakim).
student(hawi).
teacher(abdi).
teacher(bayisa).

Queries
-------

1. student(X).
2. teacher(Y).
3. student(X), teacher(Y).
4. student(X), teacher(X).
5. student(a).

Knowledge base – 6
------------------

hates(jim,tom).
hates(pat,bob).
hates(dog,fox).
hates(peter,tom).
Queries
--------

1. hates(X,tom).
2. hates(_,tom).
3. hates(_,pat).
4. hates(_,fox).

Knowledge base – 7
------------------

female(pam).
female(liz).
female(pat).
female(ann).

male(jim).
male(bob).
male(tom).
male(peter).

parent(pam,bob).
parent(tom,bob).
parent(tom,liz).
parent(bob,ann).
parent(bob,pat).
parent(pat,jim).
parent(bob,peter).
parent(peter,jim).

mother(X,Y):- parent(X,Y),female(X).
father(X,Y):- parent(X,Y),male(X).
haschild(X):- parent(X,_).
sister(X,Y):- parent(Z,X),parent(Z,Y),female(X),X\==Y.
brother(X,Y):-parent(Z,X),parent(Z,Y),male(X),X\==Y.

Queries
-----------
1. parent(X,jim).
2. mother(X,Y).
3. haschild(X).
4. sister(X,Y).