Did you know ... Search Documentation:
Predicate arithmetic_function/1

Sorry, No manual entry for arithmetic_function/1