[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic 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.

Examples

Success:
      meta(X{a}).
      suspend:(X>0), meta(X).

Fail:
      meta(atom).
      meta(X).

See Also

free / 1, type_of / 2, var / 1