term_variables/2

Description

term_variables/2 is a predicate that collects all variables in a term.

Signature

term_variables(+Term, ?Variables)

Where:

• Term is the term to analyze.
• Variables is a list of all variables in Term.