The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x

GATE2003-71 [closed]

+4 votes
1.1k 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
asked in Programming by Veteran (59.5k points)
closed by | 1.1k views
0

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

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

Related questions



Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

38,039 questions
45,534 answers
131,817 comments
48,851 users