The Call Port

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).
     
The Call Port