11.3.131 nonvar/1   ISO

Synopsis

nonvar(+Term)

Term is currently instantiated.

Arguments

Term

term

Examples

| ?- nonvar(foo(X,Y)).

true ;
no
| ?- nonvar([X,Y]).

true ;
no
| ?- nonvar(X).

no
| ?- Term = foo(X,Y), nonvar(Term).

true ;
no

Exceptions

None.

See Also

ref-lte-met-typ.