[ Type Testing | 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