/usr/share/swi-prolog/pack/clpBNR/prolog/clpBNR/ia_utilities.pl
All Application Manual Name SummaryHelp

Availability::- use_module(library(clpBNR)).
 global_minimize(+Exp, ?Z:numeric) is semidet
Succeeds if Z unifies with the global minimum of (evaluated) expression Exp; otherwise fails. This is analogous to global_maximize/2 for finding minima and a single set of minimizers. See global_maximize/2 for more details. Example: 
?- X::real(0,1r2*pi), global_minimize(X*sin(4*X),Z).
X:: 1.228295...,
Z:: -1.203617... .
See also
- global_maximize/2