| foldsubterms/4 | The
predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn,
StateOut) for each subterm, including variables, in Term1. |
| foldsubterms/5 | The
predicate foldsubterms/5 calls call(Goal4, SubTerm1, SubTerm2, StateIn,
StateOut) for each subterm, including variables, in Term1. |
| mapargs/3 | Term1
and Term2 have the same functor (name/arity) and for each matching pair
of arguments call(Goal, A1, A2) is true. |
| mapsubterms/3 | Recursively
map sub terms of Term1 into subterms of Term2 for every pair for which
call(Goal, ST1, ST2) succeeds. |
| mapsubterms_var/3 | Recursively
map sub terms of Term1 into subterms of Term2 for every pair for which
call(Goal, ST1, ST2) succeeds. |
| same_functor/2 | True
when Term1 and Term2 are terms that have the same functor (Name/Arity). |
| same_functor/3 | True
when Term1 and Term2 are terms that have the same functor (Name/Arity). |
| same_functor/4 | True
when Term1 and Term2 are terms that have the same functor (Name/Arity). |
| subsumes/2 | True
if Generic is unified to Specific without changing Specific. |
| subsumes_chk/2 | True
if Generic can be made equivalent to Specific without changing Specific. |
| term_factorized/3 | Is
true when Skeleton is Term where all subterms that appear multiple times
are replaced by a variable and Substitution is a list of Var=Value that
provides the subterm at the location Var. |
| term_size/2 | True
if Size is the size in _cells_ occupied by Term on the global (term)
stack. |
| term_subsumer/3 | General
is the most specific term that is a generalisation of Special1 and
Special2. |
| variant/2 | Same
as SWI-Prolog =|Term1 =@= Term2|=. |