ENHANCED: CLP(FD): Give all involved constraints a propagation                    opportunity when a new constraint is posted and                    propagation is always terminating. Efficiently                    possible thanks to term_attvars/2. James Hogan.
ENHANCED: CLP(FD): Give all involved constraints a propagation
                   opportunity when a new constraint is posted and
                   propagation is always terminating. Efficiently
                   possible thanks to term_attvars/2. James Hogan.

   Example: Before:

      ?- X #> abs(X), X #> 2.
      %@ X in 3..sup,
      %@ X#>=_G6092,
      %@ _G6100#=abs(X),
      %@ _G6092 in 2..sup,
      %@ _G6100+1#=_G6092,
      %@ _G6100 in 3..sup.

   Now:

      ?- X #> abs(X), X #> 2.
      %@ X in 4..sup,
      %@ X#>=_G1033,
      %@ _G1041#=abs(X),
      %@ _G1033 in 4..sup,
      %@ _G1041+1#=_G1033,
      %@ _G1041 in 3..sup.

edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel