contains_var(+Sub, +Term) is det.%% Succeeds if Sub is contained in Term (==, deterministically)
(undocumented)
1. prolog::contains_var_2::contains_var/2(int ARG1, int ARG2)():