4.28 Misc arithmetic support predicates
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Misc arithmetic support predicates
set_random/1
random_property/1
current_arithmetic_function/1
Packages
Availability:
built-in
current_arithmetic_function
(
?Head
)
True when
Head
is an evaluable function. For example:
?- current_arithmetic_function(sin(_)). true.