Gate CS-2003 Question Paper With Solutions

Q. 52 Consider the following logic program P

Which of the following first order sentences is equivalent to P?

Answer: (C)

Explanation: Not Required