ADDED: CLP(B): New flag clpb_monotonic makes CLP(B) monotonic.
ADDED: CLP(B): New flag clpb_monotonic makes CLP(B) monotonic.

Without this flag, we run into the following declarative problem:

    ?- sat(X), X = 1+1.
    false.

    ?- X = 1+1, sat(X).
    X = 1+1.

More to follow.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel