prolog - SICStus Prolog sat_count/2 替换？

Question

SWI-Prolog CLP(B) 有一个 sat_count/2 谓词。SICStus Prolog CLP(B) 中的替代品是什么？到目前为止，我选择了：

sat_count(+[1|L], N) :-
   aggregate_all(count, L^labeling(L), N).

但以上只是使用标签蛮力，所以不是一个真正的智能解决方案。有没有更好的方法在 SICStus Prolog 中执行 sat_count/2 ？

标签： prologsatclpb