Did you know ... Search Documentation:
Pack ciao -- prolog/dialect/ciao/terms_vars.pl
PublicShow source
 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)