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