4.28 Misc arithmetic support predicates
AllApplicationManualNameSummaryHelp

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