prolog::contains_var/2

contains_var(+Sub, +Term) is det.%% Succeeds if Sub is contained in Term (==, deterministically)

(undocumented)

Private-func:

1. prolog::contains_var_2::contains_var/2(int ARG1, int ARG2)():