11.3.100 ground/1   ISO

Synopsis

ground(+Term)

Term is currently instantiated to a ground term.

Arguments

Term

term

Description

Tests whether X is completely instantiated, i.e. free of unbound variables. In this context, mutable terms are treated as nonground, so as to make ground/1 a monotone predicate.

Examples

| ?- ground(9).

yes
| ?- ground(major(tom)).

yes
| ?- ground(a(1,Term,3)).

no
| ?- ground("a").

yes
| ?- ground([1,foo(Term)]).

no

Exceptions

None.

See Also

ref-lte-met-typ.