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?

GATECS2003Q71

(A) A
(B) B
(C) C
(D) D


Answer: (C)

Explanation:

Quiz of this Question



My Personal Notes arrow_drop_up


Article Tags :

Be the First to upvote.


Please write to us at contribute@geeksforgeeks.org to report any issue with the above content.