[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

ground(?Term)

Succeeds if Term is ground.
Term
Prolog term.

Description

Used to test whether Term is ground, i.e. contains no variables.

Modes and Determinism

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, type_of / 2, var / 1