[ 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

- 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