A.9.17.7 FD set predicates
All Application Manual Name SummaryHelp

Availability::- use_module(library(clpfd)).
Source[semidet]fdset_interval(?Interval, ?Min, ?Max)
Interval is a non-empty FD set consisting of the single interval Min..Max. Min is an integer or the atom inf to denote negative infinity. Max is an integer or the atom sup to denote positive infinity.

Either Interval or Min and Max must be ground.