[
ECLiPSe Type Testing built-in.
|
Group Index
|
Full Index
]
meta(?Var)
Succeeds if Var is a metaterm.
?Var
Prolog term.
Description
Used to test whether Var is a metaterm.
Fail Conditions
Fails if Var is not a metaterm.
Resatisfiable
No.
Exceptions
Examples
Success: meta(X{a}). coroutine, X>0, meta(X). Fail: meta(atom). meta(X).
See Also
free / 1
,
type_of / 2
,
var / 1