sub_term(-Sub, +Term)%% Generates (on backtracking) all subterms of Term.
(undocumented)
1. prolog::sub_term_2::sub_term/2(int ARG1, int ARG2)():