[ 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.
Fail Conditions
Fails if Term is not ground.
Resatisfiable
No.
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