[ ECLiPSe Type Testing built-in.|Group Index| Full 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.

Exceptions

Examples


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


See Also

nonvar / 1, type_of / 2, var / 1