menu
search
Log In
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

Subjects

Network Sites

 GO Mechanical
 GO Electrical
 GO Electronics
 GO Civil
 CSE Doubts

UGCNET-Dec2015-III: 7

4 votes
2.3k views

Given the following set of prolog clauses:

father(X,Y) :
parent(X,Y),
male(X),
parent(Sally, Bob),
parent(Jim, Bob),
parent(Alice, Jane),
male(Bob),
male(Jim),
female(Salley),
female(Alice)

How many atoms are matched to the variable 'X' before the query father(X, Jane) reports a Result?

  1. $1$
  2. $2$
  3. $3$
  4. $4$
in Mathematical Logic
edited by 2.3k views
0

https://gateoverflow.in/?qa=blob&qa_blobid=16807665573314711362

Please do comment if found any thing incorrect.

1 Answer

0 votes
No options is correct/
0
Can u please explain how to do this
← Prev. Next →
← Prev. Qn. in Sub. Next Qn. in Sub. →
Answer:

Related questions

1 vote
4 answers
1
1.8k views
UGCNET-Dec2015-III: 44
In propositional logic, given $P$ and $P \rightarrow Q$, we can infer ________ $\sim Q$ $Q$ $P \wedge Q$ $\sim P \wedge Q$
In propositional logic, given $P$ and $P \rightarrow Q$, we can infer ________ $\sim Q$ $Q$ $P \wedge Q$ $\sim P \wedge Q$
asked Aug 11, 2016 in Mathematical Logic jothee 1.8k views
2 votes
2 answers
2
1.3k views
UGCNET-Dec2015-III: 57
What will be the output of the following Unix command? $\text{\$rm chap0\[1-3\]}$ Remove file $\text{chap0[1-3]}$ Remove file $\text{chap01, chap02, chap03}$ Remove file $\text{chap \[1-3\]}$ None of the above
What will be the output of the following Unix command? $\text{\$rm chap0\[1-3\]}$ Remove file $\text{chap0[1-3]}$ Remove file $\text{chap01, chap02, chap03}$ Remove file $\text{chap \[1-3\]}$ None of the above
asked Aug 11, 2016 in Operating System jothee 1.3k views
2 votes
1 answer
3
2k views
UGCNET-Dec2015-III: 56
In Unix, the command to enable execution permission for file "mylife" by all is_____ Chmod ugo $+$ X mylife Chmod a $+$ X mylife Chmod $+$ X mylife All of the above
In Unix, the command to enable execution permission for file "mylife" by all is_____ Chmod ugo $+$ X mylife Chmod a $+$ X mylife Chmod $+$ X mylife All of the above
asked Aug 11, 2016 in Operating System jothee 2k views
2 votes
1 answer
4
1.1k views
UGCNET-Dec2015-III: 55
The character set used in Windows $2000$ operating system is $8$ bit ASCII Extended ASCII $16$ bit UNICODE $12$ bit UNICODE
The character set used in Windows $2000$ operating system is $8$ bit ASCII Extended ASCII $16$ bit UNICODE $12$ bit UNICODE
asked Aug 11, 2016 in Operating System jothee 1.1k views
Dark theme
Muffin by Hélio Chun
Thanks to Q2A
...