Explain using a search tree why the cut in the following program has no effect on the solutions found to the query ancestor(X,bob). Does the cut improve the efficiency at all? Why or why not?

ancestor (X, Y) :- parent (X, Z), ancestor (Z, Y). ancestor (X, X) :- !. parent (amy, bob).