Next: mpg-ref-volatile, Previous: mpg-ref-use_module, Up: mpg-bpr [Contents][Index]
var/1
ISOvar(+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.