4.28 Misc arithmetic support predicates
All Application Manual Name SummaryHelp

Availability:built-in
current_arithmetic_function(?Head)
True when Head is an evaluable function. For example: 
?- current_arithmetic_function(sin(_)).
true.

ClioPatria (version V3.1.1-51-ga0b30a5)