1.4k views

Consider the following logic program P

\begin{align*} A(x) &\gets B(x,y), C(y) \\ &\gets B(x,x) \end{align*}

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

1. $(\forall x) [(\exists y) [B(x,y) \land C(y)] \Rightarrow A(x)] \land \neg (\exists x)[B(x,x)]$

2. $(\forall x) [(\forall y) [B(x,y) \land C(y)] \Rightarrow A(x)] \land \neg (\exists x)[B(x,x)]$

3. $(\forall x) [(\exists y) [B(x,y) \land C(y)] \Rightarrow A(x)] \vee \neg (\exists x)[B(x,x)]$

4. $(\forall x) [(\forall y) [B(x,y) \land C(y)] \Rightarrow A(x)] \land (\exists x)[B(x,x)]$

closed with the note: Out of syllabus now
closed | 1.4k views
0

Didn't get the question.
Plz someone explain what is implied by this    "(B(x,x)"

+3
Logic programming is now not in syllabus. I guess this is Prolog syntax.
0
Can anyone please explain the answer to this question.
+1
Logic Programming is out of GATE syllabus !!!
+1
thanx god
+3
Bhagwan ka lakh lakh Shukra h ....

+1 vote
1
2