prolog::sub_var/2

sub_var(-Sub, +Term)%% Generates (on backtracking) all subterms (==) of Term.

(undocumented)

Private-func:

1. prolog::sub_var_2::sub_var/2(int ARG1, int ARG2)():