
ground(?Term)

   Succeeds if Term is ground.


Arguments
   Term                Prolog term.

Type
   Type Testing

Description

    Used to test whether Term is ground, i.e. contains no variables.
    This is the negation of nonground/1.

    This predicate can handle cyclic terms.


Modes and Determinism
   ground(?) is semidet

Fail Conditions
   Fails if Term is not ground

Examples
   
   Success:
   ground(atom).
   ground(likes(mouse,cheese)).
   Fail:
   ground(VarTerm).
   ground(f(a,B,c)).
   ground([x,y|Z]).


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