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).