term_attvars/2

"term_attvars(+ Term,- AttVars" )

AttVars is a list of all attributed variables in Term and its attributes. I.e., term_attvars_50 "term_attvars/2" works recursively through attributes. This predicate is Cycle-safe.