Sets of variables in termsAuthor(s): The CLIP Group.
This module implements predicates to handle sets of variables in terms.
Usage and interface
Documentation on exports
Xs is the sorted list of all the variables in Term.
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.
- Description: Each list of LL contains the variables of an argument of T, for each argument, and in left to right order.
- The following properties should hold at call time:
(term_typing:nonvar/1)T is currently a term which is not a free variable.
- The following properties should hold upon exit:
(basic_props:list/2)LL is a list of list(var)s.