1.
Is the collection of statements ¬R, (T OR R), (P OR ¬Q), (Q OR ¬T), and (R OR ¬P) consistent? Explain your answer.
2.
Extend the Prolog program outlined in questions 3 and 4 of Section 6.7 to include the additional family relationships of uncle, aunt, grandparent, and cousin. Also add a rule that defines parents (X, Y, Z) to mean that X and Y are Z’s parents.
3.
Assuming that the first statement in the following Prolog program is intended to mean
“Alice likes sports,” translate the last two statements of the program. Then, list all
the things that, based on this program, Prolog would be able conclude that Alice likes.
Explain your list.
likes(alice, sports).
likes(alice, music).
likes(carol, music).
likes(david, X) :- likes(X, sports).
likes(alice, X) :- likes(david, X).