
meta(?Var)

   Succeeds if Var is a metaterm.



Arguments
   ?Var                Prolog term.

Type
   Type Testing

Description
   Used to test whether Var is a metaterm.




Resatisfiable
      No.

Fail Conditions
      Fails if Var is not a metaterm.



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

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





See Also
   free / 1, type_of / 2, var / 1
