`domain(`

`+Variables`,`+Min`,`+Max`)-
where

`Variables`is a list of domain variables,`Min`is an integer or the atom`inf`

(minus infinity), and`Max`is an integer or the atom`sup`

(plus infinity). True if the variables all are elements of the range

.`Min`..`Max` `?X`in`+Range`*reifiable*-
defines a membership constraint.

`X`is a domain variable and`Range`is a`ConstantRange`(see Syntax of Indexicals). True if`X`is an element of the range. `?X`in_set`+FDSet`*reifiable*-
defines a membership constraint.

`X`is a domain variable and`FDSet`is an FD set (see FD Set Operations). True if`X`is an element of the FD set.

`in/2`

and `in_set/2`

constraints maintain domain-consistency
and their reified versions detect domain-entailment and -disentailment.

Send feedback on this subject.