Availability::- use_module(library(clpBNR)).
 small(+Numeric, +Precision) is semidet
Succeeds if the width of the domain of Numeric is less than the value defined by P (digits of precision); otherwise fails. As with small/1, Numeric can be a single numeric or list of numerics.
See also
- small/1