Garbage collection might change this in the future. Create a Prolog integer from a C long. Note that the integer is truncated to 28 bits. No checks on this are performed. Create a Prolog float living on the global stack from double .
Arity is valid for any .
Unify two terms. Unify a term with an atomic value. Unify a term with a functor. The unification simply succeeds if term is already instantiated to a term with functor functor . An example of using these functions is shown in figure .