
nonground(?VarTerm)

   Succeeds if VarTerm is not ground.



Arguments
   VarTerm             Prolog term.

Type
   Type Testing

Description
   Used to test whether VarTerm is not ground i.e.  contains at least one
   free variable.




Modes and Determinism
   nonground(?) is semidet

Fail Conditions
   Fails if VarTerm is ground

Examples
   
   Success:
   nonground(VarTerm).
   nonground(f(a,B,c)).
   nonground([x,y|Z]).
   Fail:
   nonground(atom).
   nonground(likes(man,woman)).





See Also
   nonvar / 1, ground / 1, nonground / 2, nonground / 3, type_of / 2, var / 1
