SWI-Prolog CLP(B) has a weighted_maximum/2 predicate. What would be the replacement for this in SICStus Prolog CLP(B)? Here is an example what it does:
?- sat
