var/1
var(+Term)
Term is currently uninstantiated.
term
| ?- var(foo(X,Y)). no | ?- var([X,Y]). no | ?- var(X). true ; no | ?- Term = foo(X,Y), var(Term). no
None.
ref-lte-met-typ.