11.3.130 nonvar/1 [ISO]

Synopsis

nonvar(+Term)

Term is currently instantiated.

Arguments

Term

term

Examples

     | ?- nonvar(foo(X,Y)).
     
     true ;
     no
     | ?- nonvar([X,Y]).
     
     true ;
     no
     | ?- nonvar(X).
     
     no
     | ?- Term = foo(X,Y), nonvar(Term).
     
     true ;
     no

See Also

ref-lte-met-typ.