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 compound without arguments. See also
Tags are associated to your profile if you are logged in