clpBNR:global_minimize/3

Availability::- use_module(library(clpBNR)).

Same as global_minimize/2 with additional argument defining precision (overrides environment flag clpBNR_default_precision). Example:

?- X::real(0,1r2*pi),global_minimize(X*sin(4*X),Z,4).
X:: 1.2283...,
Z:: -1.203... .