1. Is the following collection of statements consistent? Explain your answer. P OR Q OR R ¬R OR Q R OR ¬P ¬Q 3. Complete the two rules at the end of the Prolog program below so that the predicate...

1.
Is the following collection of statements consistent? Explain your answer.

P OR Q OR R ¬R OR Q R OR ¬P ¬Q

3.
Complete the two rules at the end of the Prolog program below so that the predicate mother(X, Y) means “X is the mother of Y” and the predicate

father(X, Y) means “X is the father of Y.”

female(carol).

female(sue).

male(bill).

male(john).

parent(john, carol).

parent(sue, carol).

mother(X,Y) :-

father(X,Y) :-