The fail port is shown by an arrow to the left of the goal, pointing away from it. This indicates that no (more) solutions to this goal can be found.
descendant(X, Y) :-
<--- parent(X, Y).
descendant(X, Z) :-
parent(X, Y),
descendant(Y, Z).