clingo 변수 범위 적용

Question

나는 clingo에 대해 많이 모른다. 문제를 분명히 나눌 수 있기를 바란다.

현재 내가 각각 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)을 생성합니다. 그러나 에 대해 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). 

출력 :