Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 term_size(@Term, -Size) is det

True if Size is the size in cells occupied by Term on the global (term) stack. A cell is 4 bytes on 32-bit machines and 8 bytes on 64-bit machines. The calculation does take sharing into account. For example:

?- A = a(1,2,3), term_size(A,S).
S = 4.
?- A = a(1,2,3), term_size(a(A,A),S).
S = 7.
?- term_size(a(a(1,2,3), a(1,2,3)), S).
S = 11.

Note that small objects such as atoms and small integers have a size 0. Space is allocated for floats, large integers, strings and compound terms.

Undocumented predicates

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

 inverse_substitute(Arg1, Arg2)

 inverse_substitute1(Arg1, Arg2)

 skolems(Arg1, Arg2)

 skolemize(Arg1, Arg2, Arg3)

 skolemize(Arg1, Arg2, Arg3, Arg4)

 deskolemize(Arg1, Arg2, Arg3)

 relevant_vars2(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 relevant_vars3(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 buildrelterms(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)

 contains_vars(Arg1, Arg2)

 flagged_contains_vars(Arg1, Arg2, Arg3)

 vars(Arg1, Arg2)

 replace(Arg1, Arg2, Arg3, Arg4)

 inv_replace(Arg1, Arg2, Arg3, Arg4)

 terms(Arg1, Arg2, Arg3)

 terms(Arg1, Arg2, Arg3, Arg4)

 only_vars(Arg1, Arg2)

 clause_terms(Arg1, Arg2)

 only_vars1(Arg1, Arg2)

 typed_only_vars1(Arg1, Arg2)

 exists_intersect(Arg1, Arg2, Arg3)

 clean_subst(Arg1, Arg2, Arg3)

 findargs(Arg1, Arg2, Arg3)

 allarg(Arg1, Arg2, Arg3, Arg4)