prolog::contains_term/2¶

contains_term(+Sub, +Term) is semidet.%% Succeeds if Sub is contained in Term (=, deterministically)

(undocumented)

Private-func:¶

1. prolog::contains_term_2::contains_term/2(int ARG1, int ARG2)():