Процессор «a» обрабатывает заголовок «a» сообщения «a_b_c_d» и передает полезную нагрузку «b_c_d» другому процессору следующего уровня следующим образом: msg(a, b_c_d). pro(a;b;c;d). msg(b, c_d) :- pro(X), msg(X, b_c_d). msg(c, d) :- pro(X),...

Я новичок в программировании наборов ответов. Я хочу сгруппировать всех студентов в разные группы таким образом, чтобы: 1. В каждой группе было от 3 до 4 студентов 2. В одной группе не было двух студентов, которые не любят друг друга. 3. И мы не...

Я вычисляю суммы нескольких полей в clingo: x(1,2,3). x(4,5,6). x(7,8,9). y(A,B,C) :- A = #sum { A1, B1, C1 : x(A1,B1,C1) }, B = #sum { B1, A1, C1 : x(A1,B1,C1) }, C = #sum { C1, A1, B1 : x(A1,B1,C1) }. Это работает. Результат:...

Я использую внешнюю команду внутри скрипта Python, используя сначала: subprocess.Popen(cmd, stdout=subprocess.PIPE) тогда я получаю стандартный вывод. Проблема в том, что результат этой внешней команды при выполнении внутри скрипта не тот,...

Я новичок в программировании наборов ответов, и я борюсь с довольно простым вопросом. Программу нужно написать на clingo. Итак, вот вопрос: Абстрактная структура аргументации состоит из набора аргументов A и отношения атаки R ⊆ A X A между...