Клинго применить переменный диапазон

Question

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

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

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

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

Answer 1

Пытаться:

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

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

Выход: