Did you know ... Search Documentation:
Pack logicmoo_nars -- prolog/miles/var_utils.pl
PublicShow source

Re-exported predicates

The following predicates are re-exported from other modules

 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)