logic - cligo 应用可变范围

Question

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

目前我已经

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

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

例如：规则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)for target(1,5,1,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).

输出：