nonvar/1 meta-logical

Synopsis

nonvar(+Term)

Term is currently instantiated. This is the opposite of var/1.

Arguments

Term term

Example

     | ?- nonvar([X,Y]).
     
     X = _288
     Y = _303
     | ?- nonvar(X).
     
     no
     

See Also

atom/1, atomic/1, number/1, var/1, compound/1, callable/1, simple/1