Exercise 12.11 List all of the ground atomic logical consequences of the following knowledge base: q(Y)

Question:

Exercise 12.11 List all of the ground atomic logical consequences of the following knowledge base:

q(Y) ← s(Y, Z) ∧ r(Z).

p(X) ← q(f (X)).

s(f (a), b).

s(f (b), b).

s

(c, b).

r(b).

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: