SWI-Prolog -- get

Documentation
- Reference manual
  - Constraint Logic Programming
    - Attributed variables
      - Special purpose predicates for attributes
        
        get_attrs/2
        
        put_attrs/2
        
        del_attrs/1
- Packages

Availability:built-in

get_attrs(+Var, -Attributes)

Get all attributes of Var. Attributes is a term of the form att(Module, Value, MoreAttributes), where MoreAttributes is [] for the last attribute.