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)