11.3.248 var/1   ISO

Synopsis

var(+Term)

Term is currently uninstantiated.

Arguments

Term

term

Examples

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

no
| ?- var([X,Y]).

no
| ?- var(X).

true ;

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

no

Exceptions

None.

See Also

ref-lte-met-typ.