
nonvar(?Term)

   Succeeds if Term is instantiated.



Arguments
   Term                Any Prolog term.

Type
   Type Testing

Description
   Used to test whether Term is instantiated.




Modes and Determinism
   nonvar(?) is semidet

Fail Conditions
   Fails if Term is not instantiated

Examples
   
   Success:
   nonvar(atom).
   Fail:
   nonvar(Var).





See Also
   nonground / 1, type_of / 2, var / 1
