У меня есть следующий набор данных: 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 (вещь, объект),...

Я новичок в 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. Как я могу получить диапазон...

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

(Нуб здесь.) Скажем, у меня есть степень, которая требует, чтобы студент сдал CS1 и CS2 и (CS3 или CS4). Я хотел бы использовать ASP, чтобы получить список курсов, которые студент может пройти, чтобы выполнить требования степени. В частности, я...

Прямо сейчас у меня есть один предикат выбора, который определяет мое пространство поиска. #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), она выдает ошибки лексера. Я...

В ASP (программирование набора ответов) программы пишутся на декларативном языке более высокого уровня, а затем обосновываются детерминистическим способом для создания экземпляра ASP с использованием такого средства заземления, как lparse или гринго....