
attvar(?Term)

   Term is a variable with at least one dynamic attribute

Arguments
   Term                term to be tested

Type
   library(dynamic_attributes)

Modes and Determinism
   attvar(?) is semidet


