[ Type Testing | 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. This is the negation of nonground/1.

This predicate can handle cyclic terms.

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