cligo 应用可变范围

Question

我对cligo不太了解，希望能把问题分享清楚。

目前我已经

cellUseCount(X,Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY).

返回每个 X,Y 值的结果。我如何获得 X-XX 和 Y-YY 范围。

例如：规则为target(1,5,1,1) 生成cellUseCount(1,5,1)。但是，我想为target(1,5,1,1) 提供cellUseCount(1,1,1), cellUseCount(1,2,1), cellUseCount(1,3,1), cellUseCount(1,4,1), cellUseCount(1,5,1)。我该如何实现呢？

提前致谢。

Answer 1

试试：

% instance
target(1,5,1,1).

% encoding
cellUseCount(X,1..Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY).

输出：