Introduction to
Logic Programming
What
versus
How
 

Exercise 7.2 - Models


Suppose we have a dataset with two symbols a and b and two unary relations p and q where all possible facts are true, i.e. the dataset is {p(a), p(b), q(a), q(b)}. Suppose we have a closed logic program consisting of this dataset and the rule r(X) :- p(X) & ~q(X).

a. How many interpretations does this program have?
b. How many models does it have?
c. How many minimal models does it have?