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

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