A.9.17.7 FD set predicaes
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(clpfd)).
[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.

ClioPatria (version no GIT?)