✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
Consider the following Prolog rule:
ancestor_of(X,Y) :- parent_of(X,Y). and the query:
?- ancestor_of(john,Z). Which query is derived after unification of the above query with the rule head?