[ 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