11.3.236 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

See Also

ref-lte-met-typ.