Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

1.Suppose we are working with the following knowledge base: wizard(ron). wizard(

ID: 3607523 • Letter: 1

Question

1.Suppose we are working with the following knowledge base:
    wizard(ron).
    wizard(X) :- hasBroom(X),hasWand(X).
    hasWand(harry).
    quidditchPlayer(harry).
    hasBroom(X) :- quidditchPlayer(X).

How does Prolog respond to the following queries?
1) wizard(ron).
2) witch(ron).
3) wizard(hermione).
4) witch(hermione).
5) wizard(harry).
6) wizard(Y).
7) witch(Y).
     
2. Here is a tiny lexicon and mini grammar with only one rule which defines a sentence as consisting of five words: an article, a noun, a verb, and again an article and a noun.
              word(article,a).
              word(article,every).
              word(noun,criminal).
              word(noun,'big kahuna burger').
              word(verb,eats).
              word(verb,likes).
               sentence(Word1,Word2,Word3,Word4,Word5) :-
                      word(article,Word1),
                      word(noun,Word2),
                      word(verb,Word3),
                      word(article,Word4),
                      word(noun,Word5).
     
1) What query do you have to pose in order to find out which sentences the grammar can generate?
2) List the first five sentences that this grammar can generate in the order Prolog will generate them. Make sure that you understand why Prolog generates them in this order.

Explanation / Answer

1)Answer:

wizard(ron). = true

witch(ron). = ERROR: toplevel: Undefined procedure: witch/1

wizard(hermione). =false.

witch(hermione). =ERROR: toplevel: Undefined procedure: witch/1

wizard(harry). =true.

wizard(Y). = Y = ron ; Y = harry.

witch(Y). =ERROR: toplevel: Undefined procedure: witch/1

2)Answer:

sentence(A, B, C, D, E). -> generates all possibilities

e.g. the following is the first possibility since it uses all the first

examples of article, noun, verb listed.

A = a,

B = criminal,

C = eats,

D = a,

E = criminal ;