Описание тега grounding

Вопросы с тегом
0 ответов

Правило эффективного подсчета в Clingo/ Программе набора ответов

Рассмотрим следующую программу набора ответов: category(main, 5). category(extra, 2). num(main, 1..45). num(extra, 1..12). Count{draw(Category, Num, Draw) : num(Category, Num)}Count :- category(Category, Count), Draw = 1..n. Это генерирует n розыгры…
19 янв '18 в 08:18
1 ответ

Построение массива наземных данных из списка целых чисел в ECLiPSe

Я пытаюсь использовать make_graph_symbolic/3 из библиотеки graph_algorithms, которая требует, чтобы узлы были массивом наземных данных. Так как я строю этот график из матрицы, то его именами являются XY, где X - строка, а Y - столбец определенного э…
22 апр '18 в 11:35