Next: mpg-ref-nospy, Previous: mpg-ref-nonmember, Up: mpg-bpr [Contents][Index]
nonvar/1
ISOnonvar(+Term)
Term is currently instantiated.
term
| ?- nonvar(foo(X,Y)). true ; no | ?- nonvar([X,Y]). true ; no | ?- nonvar(X). no | ?- Term = foo(X,Y), nonvar(Term). true ; no
None.