clingo 应用可变范围

Question

对clingo不是很了解，希望能把问题分享清楚

目前我

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

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

例如：规则为 target(1,5,1,1) 生成 cellUseCount(1,5,1)。但是，我希望 cellUseCount(1,1,1), cellUseCount(1,2,1), cellUseCount(1,3,1), cellUseCount(1,4,1), cellUseCount(1,5,1) 对应 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).

输出：

clingo 应用可变范围

clingo apply a variable range

logic

answer-set-programming

clingo

gringo