prolog::free_of_term/2¶

free_of_term(+Sub, +Term)%% Succeeds of Sub does not unify to any subterm of Term

(undocumented)

Private-func:¶

1. prolog::free_of_term_2::free_of_term/2(int ARG1, int ARG2)():