The call port is shown by an arrow to the left of a goal, pointing toward it. This indicates the arrival at a goal.
descendant(X, Y) :- ---> parent(X, Y). descendant(X, Z) :- parent(X, Y), descendant(Y, Z).