The redo port is shown by an arrow to the right of the goal, pointing toward it. This indicates that an alternate solution to a completed goal is being sought.
descendant(X, Y) :-
parent(X, Y). <---
descendant(X, Z) :-
parent(X, Y),
descendant(Y, Z).