4 votes 4 votes closed as a duplicate of: GATE CSE 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? Can anyone explain how it can be solved ? Mathematical Logic discrete-mathematics first-order-logic gatecse-2003 + – Syedarshadali asked Jun 29, 2017 closed Jun 29, 2017 by Arjun Syedarshadali 978 views comment Share Follow See all 0 reply Please log in or register to add a comment.