
nonvar(?Term)

   Succeeds if Term is instantiated.



Arguments
   ?Term               Any Prolog term.

Type
   Type Testing

Description
   Used to test whether Term is instantiated.




Resatisfiable
      No.

Fail Conditions
      Fails if Term is not instantiated.



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





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