contains_term/2 | Succeeds
if Sub is contained in Term (=, deterministically). |
contains_var/2 | Succeeds
if Sub is contained in Term (==, deterministically). |
free_of_term/2 | Succeeds
of Sub does not unify to any subterm of Term. |
free_of_var/2 | Succeeds
of Sub is not equal (== ) to any subterm of Term. |
occurrences_of_term/3 | Count
the number of SubTerms in Term that _unify_ with SubTerm. |
occurrences_of_var/3 | Count
the number of SubTerms in Term that are _equal_ to SubTerm. |
sub_term/2 | Generates
(on backtracking) all subterms of Term. |
sub_term_shared_variables/3 | If
Sub is a sub term of Term, Vars is bound to the list of variables in Sub
that also appear outside Sub in Term. |
sub_var/2 | Generates
(on backtracking) all subterms (== ) of Term. |