GATE | GATE-CS-2003 | Question 71

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)


Quiz of this Question

My Personal Notes arrow_drop_up
Article Tags :

Be the First to upvote.

Please write to us at to report any issue with the above content.