$($a$)$ Provide an SLD derivation of the query

$$

$$

$$

$$

$$

$$

$\_$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$($

$$

$$

$$

$$

$$

$$

$$

$,$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$)$

$,$ similar to Figure $15\mathrm{.}6.$

$($b$)$ The query

$$

$$

$$

$$

$$

$$

$\_$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$($

$$

$$

$$

$$

$$

$$

$$

$,$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$)$

has two SLD derivations. Give both, but do not show the clauses chosen or the substitutions.

$($c$)$ Is there a derivation for

$$

$$

$$

$$

$$

$$

$\_$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$($

$$

$$

$$

$$

$$

$$

$$

$$

$$

$,$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$)$

$?$ Explain why, or why not.

$($d$)$ Explain why the set of answers to the query

$$

$$

$$

$$

$$

$$

$\_$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$($

$$

$,$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$)$

is empty.

$($e$)$ Suppose the following clause is added to the knowledge base:

$$

$$

$$

$$

$$

$$

$\_$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$($

$$

$)$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$($

$$

$)$

$.$

What are the answers to the query

$$

$$

$$

$$

$$

$$

$\_$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$($

$$

$,$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$$

$)$

$?$