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 blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!