clpBNR:upper

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

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

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

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