[
ECLiPSe Type Testing built-in.
|
Group Index
|
Full 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.
Exceptions
Examples
Success: nonvar(atom). Fail: nonvar(Var).
See Also
nonground / 1
,
type_of / 2
,
var / 1