SWI-Prolog -- bb_inf/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpqr): Constraint Logic Programming over Rationals and Reals
      - Solver predicates
        
        {}/1
        
        entailed/1
        
        inf/2
        
        sup/2
        
        minimize/1
        
        maximize/1
        
        bb_inf/5
        
        bb_inf/4
        
        bb_inf/3
        
        dump/3
- Packages

Availability::- use_module(library(clpq/bb_q)).

Source

bb_inf(+Ints, +Expression, -Inf)

The same as bb_inf/5 or bb_inf/4 but without returning the values of the integers. In CLP(R), an error margin of 0.001 is used.