Вопросы по теме 'gringo'

Как суммировать в Clingo?
У меня есть следующий набор данных: food_a(bagel, 245). food_a(sandwich, 200). food_a(salad,300). food(bagel). food(sandwich). food(salad). Я хочу удовлетворить следующее ограничение: учитывая общее количество калорий, я хочу вернуть...
2119 просмотров
schedule 06.09.2021

Что означают 1 ‹0 и 1 = -1 в clingo / ASP?
Я никогда раньше не использовал clingo, и я считаю, что онлайн-документация неполная (я также не могу публиковать сообщения на форумах Potassco). У меня есть кусок кода clingo со строками правил формата foo (L1, L2, L3): - isa (вещь, объект),...
232 просмотров
schedule 10.10.2021

clingo применить переменный диапазон
Я мало что знаю о Clingo, надеюсь, я смогу ясно изложить проблему. В настоящее время я cellUseCount(X,Y,C) :- C = #count{cell(X,Y)}, target(X,Y,XX,YY). который возвращает результаты для каждого значения X, Y. Как я могу получить диапазон...
366 просмотров

Используйте Clingo 4.5 с Gringo 3
Я пытаюсь запустить код из упражнений из главы 8 PCGBook . Они используют Clingo, но не говорят, какую версию они используют. Когда я загрузил последнюю версию Clingo с sourceforge Potassco (версия 4.5.4), она выдает ошибки лексера. Я...
299 просмотров
schedule 08.03.2024