prolog - SICStus Prolog weighted_maximum/3 替换？

Question

SWI-Prolog CLP(B) 有一个 weighted_maximum/2 谓词。SICStus Prolog CLP(B) 中的替代品是什么？这是一个例子：

?- sat(A#B), weighted_maximum([1,2,1], [A,B,C], Maximum).
A = 0,
B = C, C = 1,
Maximum = 3.

我还没有建议。对于 weighted_maximum/3 内的伪布尔约束，我是否需要退回到 SICStus CLP(FD)？这甚至会起作用吗？