[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

nonvar(?Term)

Succeeds if Term is instantiated.

?Term: Any Prolog term.

Description

Used to test whether Term is instantiated.

Fail Conditions

Fails if Term is not instantiated.

Resatisfiable

No.

Examples

   Success:
   nonvar(atom).
   Fail:
   nonvar(Var).

See Also

nonground / 1, type_of / 2, var / 1