Draw search trees of subgoals and explain Prolog’s responses based on the trees for the following goals (see Figure 4.1):

(a) gcd (15, 10, X). (b) append (X, Y, [1, 2]).