clingo применить переменный диапазон

Я мало что знаю о Clingo, надеюсь, я смогу ясно изложить проблему.

В настоящее время я

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) вместо target(1,5,1,1). Как я могу это реализовать?

Заранее спасибо.


logic answer-set-programming clingo gringo
person Dilara Albayrak    schedule 17.11.2017    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Пытаться:

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

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

Выход:

введите здесь описание изображения

person Vijaya Pandey    schedule 18.11.2017