Next: Examples of Using Attributed
Up: Attributed Variables
Previous: Attributed Variable Handlers
  Index
-
- free(?Term)
- This type-checking predicate succeeds iff its argument is an
ordinary free variable, it fails if it is an attributed variable.
- meta(?Term)
- This type-checking predicate succeeds iff its argument is an attributed variable.
For other type testing predicates an attributed variable behaves like a variable.
1999-08-06