constraint-programming

1зной

1ответ

Это вопрос чисто программирования. У меня есть множество слов. Слова имеют паузы после них с различной длиной (в основном ноль). Каждое слово также имеет определенную оценку. Я хочу выбрать оптимальны

0зной

1ответ

логистика крупномасштабного планирования конференций

Мне нужно запланировать конференцию, есть 6 класс каждый день и более 10 лекторов, в течение 14 дней. некоторые лекторы доступны несколько дней, некоторые - нет, некоторые предпочитают какой-то опреде

3зной

2ответ

Как добавить переменную домена в global_cardinality?

Я пытаюсь добавить ограничение global_cardinality к моей программе и в manual of SICStus Prolog написано: global_cardinality (+ Xs + Vals) global_cardinality (+ Xs + Vals, + Options) где Xs = [X1, ...

1зной

1ответ

быстрое и простое программирование ограничений с использованием векторов (массивов)

У меня есть много, много и много векторов, которые мне нужны для проверки дубликатов чисел с помощью очень простой логики первого порядка. Я могу использовать перекрестки, но это оказывается слишком м

0зной

2ответ

Использование тригонометрических функций в затмении

ПСЯ Я новичок затмить CLP, и я хочу, чтобы реализовать предикат, который получает все углы, эквивалентные определенной синусоидальной функции, что-то вроде :- lib(ic). solve(L) :- L = [X,Y,Z], L::[

0зной

1ответ

Увеличение размера стека в ECLiPSe/пролог/fd

Мы должны решить проблему liars в прологе в нескольких средах с ограничениями (ECLiPSe ic, ECLiPSe fd, SWI-пролог, GNU-пролог, NaxosSolver и т. Д.). Я использовал хвостовую рекурсию (я думаю) и стольк