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.