如何将整数（解）列表转换为连续区间列表
我使用CLP(FD)和SWI-Prolog编写了一个CSP程序。 有些约束看起来像 Xi mod N #= 0，所以我必须为每个变量 Xi 调用 res(Xi,Li) （使用 res(X,L) :- setof(X, indomain(X), L)）。 ..