[ Type Testing | The ECLiPSe Built-In Predicates | 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.
Fail Conditions
Fails if VarTerm is ground.
Resatisfiable
No.
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, type_of / 2, var / 1