
free(?Var)

   Succeeds if Var is a free variable, not a metaterm.



Arguments
   ?Var                Prolog term.

Type
   Type Testing

Description
   Used to test whether Var is a free variable.  free/1 is like var/1 but
   does not succeed for metaterms.




Resatisfiable
      No.

Fail Conditions
      Fails if Var is instantiated or a metaterm.



Examples
   
Success:
      free(X).
      free(_abc).
      free(_).

Fail:
      free(X{a}).
      coroutine, X>0, free(X).
      var(atom).
      var('Abc').





See Also
   nonground / 1, nonvar / 1, meta / 1, type_of / 2, var / 1
