Previous Up Next

17.8  Built-Ins and Attributed Variables

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.

Previous Up Next