If t is compound term, the functor name will be assigned over
name and the arity over arity (either or both may
NULL). This is the same as PL_get_name_arity(),
but this function fails if t is an atom.
Tags are associated to your profile if you are logged in