- If the type has
PL_BLOB_UNIQUEset, search the blob database for a blob of the same type with the same content. If found, unify t with the existing handle.
- If not found or
PL_BLOB_UNIQUEis not set, create a new blob handle. If
PL_BLOB_NOCOPYis set, associate it to the given memory; else, copy the memory to a new area owned by the blob. Call the acquire() function of the type.
- Unify t with the existing or new handle. This succeeds if t is already bound to the existing blob handle. If t is a variable, it succeeds if sufficient resources are available to perform the unification; if t is bound to something else, this fails.
It is possible that a blob referencing critial resources is created after which the unification fails. Typically these resources are eventually reclaimed because the new blob is not referenced and reclaimed by the atom garbage collector. As described with the release(f)unction, it can be desirable to reclaim the critical resources after the failing PL_unify_blob() call.