find_subgoal(+PosList, +TermPos, -SubGoalPos)[private]
See also
- Same as find_subgoal/3 in trace.pl from the GUI tracer.