If we used cuts to improve the efficiency of the Prolog append program, we would write:

 

Now given the goal append(X, Y, [1, 2]) Prolog only responds with the solution X = [], Y = [1, 2]. Explain using a search tree.

append ([], Y, Y) - !. append ([AB], Y, [A|W]) : append (B, Y, W).