Did you know ... Search Documentation:
Pack xlibrary -- prolog/linearize.pl
PublicShow source
 linearize(+SubTermType, +Term, -Linear, List, Tail) is det
If SubTermType is term, replace bounded variables in Term so that it becomes linear, and place it with Linear. If SubTermType is atom, do such replacement with atomic values in the term. List collects the performed substitutions in the form of Substitution=OriginalSubTerm.