See also

- https://sicstus.sics.se/sicstus/docs/3.12.11/html/sicstus/Term-Utilities.html

 term_variables_bag(+Term, -Variables) is det

Variables is a list of variables that appear in Term. The variables are ordered according to depth-first left-right walking of the term. Variables contains no duplicates. This is the same as SWI-Prolog's term_variables/2.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 cyclic_term(Arg1)

 same_functor(Arg1, Arg2)

 mapsubterms(Arg1, Arg2, Arg3)

 mapsubterms_var(Arg1, Arg2, Arg3)

 term_factorized(Arg1, Arg2, Arg3)

 term_hash(Arg1, Arg2)

 mapargs(Arg1, Arg2, Arg3)

 subsumes_chk(Arg1, Arg2)

 subsumes(Arg1, Arg2)

 variant(Arg1, Arg2)

 term_size(Arg1, Arg2)

 term_subsumer(Arg1, Arg2, Arg3)

 term_hash(Arg1, Arg2, Arg3, Arg4)

 term_variables(Arg1, Arg2, Arg3)

 foldsubterms(Arg1, Arg2, Arg3, Arg4)

 same_functor(Arg1, Arg2, Arg3, Arg4)

 foldsubterms(Arg1, Arg2, Arg3, Arg4, Arg5)

 same_functor(Arg1, Arg2, Arg3)