[ Type Testing | Reference Manual | Alphabetic Index ]
nonground(?VarTerm)
Succeeds if VarTerm is not ground.
- VarTerm
- Prolog term.
Description
   Used to test whether VarTerm is not ground i.e.  contains at least one
   free variable.
Modes and Determinism
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