Did you know ... Search Documentation:
PL_functor_arity()