[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
nonvar(?Term)
Succeeds if Term is instantiated.
- Term
- Any Prolog term.
Description
Used to test whether Term is instantiated.
Modes and Determinism
Fail Conditions
Fails if Term is not instantiated
Examples
Success:
nonvar(atom).
Fail:
nonvar(Var).
See Also
nonground / 1, type_of / 2, var / 1