- varsbag(+Term, -Vs, ?Xs)
- Vs is the list of all the variables in Term ordered as they
appear in Term right-to-left depth-first (including
duplicates) plus Xs.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- varset(Arg1, Arg2)
- intersect_vars(Arg1, Arg2, Arg3)
- member_var(Arg1, Arg2)
- diff_vars(Arg1, Arg2, Arg3)
- term_variables(Arg1, Arg2)