[ library(ic) | Reference Manual | Alphabetic Index ]
# locate(+Vars, ++Precision)

Locate solution intervals for Vars by splitting and search.
*Vars*
- Collection (a la collection_to_list/2) of variables
*Precision*
- Minimum required precision (float)

## Description

Locate solution intervals for the given variables with the required
precision. This works well if the problem has a finite number of
solutions. locate/2,3 work by nondeterministically splitting the
intervals of the variables until they are narrower than Precision (in
either absolute or relative terms).

locate/2 is defined in terms of locate/3 as follows:

locate(Vars, Precision) :- locate(Vars, Precision, log).

## See Also

locate / 3, locate / 4, squash / 3, eclipse_6 : collection_to_list / 2, lists : collection_to_list / 2