Did you know ... Search Documentation:
Predicate chain/2
Availability::- use_module(library(clpfd)).
Sourcechain(+Zs, +Relation)
Zs form a chain with respect to Relation. Zs is a list of finite domain variables that are a chain with respect to the partial order Relation, in the order they appear in the list. Relation must be #=, #=<, #>=, #< or #>. For example: 
?- chain([X,Y,Z], #>=).
X#>=Y,
Y#>=Z.

Tags are associated to your profile if you are logged in
Tags: