search
Log In
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
Answer:

Related questions

1 vote
4 answers
1
1.8k views
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
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
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
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
...