Did you know ... Search Documentation:
Predicate find_subgoal/3
 find_subgoal(+PosList, +TermPos, -SubGoalPos)[private]
See also
- Same as find_subgoal/3 in trace.pl from the GUI tracer.