If t is a compound term with the given functor, just succeed.
If it is unbound, create a term and bind the variable, else fail. Note
that this function does not create a term if the argument is already
instantiated. If f is a functor with arity 0, t is
unified with an atom. See also PL_unify_compound().
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in