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

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

У меня есть программа набора ответов (проверенная на работу), которую я хотел бы запустить в консольном приложении С#. Я хочу перенаправить вывод этой программы в текстовый файл, который я смогу прочитать позже. Я старался: string directory =...

Я новичок в Clingo (и в логическом программировании) и ищу лучший способ реализовать следующие основные ограничения: Q1. У меня есть предикат selected(T) , где T находится в диапазоне от 1 до N=5; как я могу указать, что существует хотя бы...

Я сгенерировал: curr(p5,2) curr(p5,1) curr(p5,6) Как я могу суммировать лазерные поля 2+1+6? На странице 21 clingo_guild.pdf я увидел следующее: 15 :- not M-2 [ enroll(C) : hours(C,H) = H ] M, max_hours(M). и подойди: #sum...

Есть ли особый способ ограничить количество истинных предикатов, доступных с использованием указанного факта? На данный момент у меня всего (2). как факт. Я думал, что это сработает: :- total(N), #count{x:something_to_limit(x)} = K, K=N....

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

Вот проблема, которую нужно решить: Если Джим не купит игрушки для своих детей, дети Джима не получат игрушки на Рождество. Если дети Джима не напишут свои рождественские письма, Джим не купит им игрушки. Дети Джима получают игрушки на...

Прямо сейчас у меня есть один предикат выбора, который определяет мое пространство поиска. #const nRounds = 3. #const nPlayers = 17. #const nSeats = nRounds * nPlayers. #const nRooms = 3. #const nDecks = 6. nSeats { seat(1..nPlayers, 1..nRooms,...

Если я хочу получить заголовок кортежа произвольной длины, мне нужно кодировать так: head(A) :- tuple(A,B). голова(А):-кортеж(А,В,С). голова (A): - кортеж (A, B, C, D). ....... Есть ли метод, который может представлять голову (A): - кортеж...

Здравствуйте, я новичок в answer- набор-программирование . Раньше я немного prolog ! Я пытаюсь решить эту проблему, я считаю, что ее можно решить с помощью гамильтоновский цикл , дайте мне знать ваше мнение. Если вы не знакомы с ASP, вы можете...

Я пытаюсь написать генератор историй в Clingo. Я пытаюсь сказать: «Новые персонажи могут родиться, если их породят существующие персонажи». Я определяю новые символы как entity(<int\>) , и это лучший способ представления сущностей,...

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

Я хочу перечислить все минимальные модели подмножества. Это работает, если я вызываю clingo из терминала, но не работает, когда я использую библиотеку clingo для Python. Что мне не хватает? пример программы : 1 {x(C) : C=1..10} 2. #show x/1....