clpBNR:lower

Succeeds if X is numeric and unifies with the lower bound of its domain. Examples:

?- X::integer(1,10),lower_bound(X).
X = 1.

?- X = 42, lower_bound(X).
X = 42.

Note that lower_bound will unify X with a number on success, but it may fail if this value is inconsistent with current constraints.