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 ？
user502187
问问题
52 次