dt class="pubdef">functor(?Term, ?Name, ?Arity, ?Type)