Question: Given the following Prolog database entries: sibling(paul,ann). sibling(jim,jo). sibling(jim,jacob). son(bob,jane). son(tom,paul). son(bob,jim). nephew(X,Y) :- son(X,Z),sibling(Z,Y). Explain whether the following queries succeed or fail, and state
Given the following Prolog database entries:
sibling(paul,ann).
sibling(jim,jo).
sibling(jim,jacob).
son(bob,jane).
son(tom,paul).
son(bob,jim).
nephew(X,Y) :- son(X,Z),sibling(Z,Y).
Explain whether the following queries succeed or fail, and state what each query returns if it succeeds. Please show how you arrive at your answer (2 marks)
a. |?- nephew(U,jo).
b. |?- nephew(tom, ann).
Step by Step Solution
There are 3 Steps involved in it
1 Expert Approved Answer
Step: 1 Unlock
Question Has Been Solved by an Expert!
Get step-by-step solutions from verified subject matter experts
Step: 2 Unlock
Step: 3 Unlock
