[ 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