Consider the following logic program P A(x) <- B(x, y), C(y) <- B(x,x) Which of the following first order sentences is equivalent to P?
(A) A (B) B (C) C (D) D Answer: (C) Explanation: Quiz of this Question