Removed unused declaration
Fixed incorrect meta_predicate declaration.
Avoid incorrect public declaration when using :- arithmetic_function(M:Name/Arity).