YAP 7.1.0
is_nonvar/1

is_nonvar(T) More...

Detailed Description

is_nonvar(T)

True if the term T has been instantiated, otherwise causs an exception The same as ` * must_be_bound/1


The documentation for this class was generated from the following file: