[ 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