Did you know ... Search Documentation:
Predicate arithmetic_function/1
 arithmetic_function(NameArity) is det
Declare a predicate as an arithmetic function.