clingo可変範囲を適用する

Question

クリンゴについてよく分かりませんが、私は問題をはっきりと分かち合うことができればと思います。

現在、私は、各X、Y値の結果を返します

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

をしました。どうすれば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). 

出力：