Это подзадача проблемы удовлетворения ограничений, над которой я сейчас работаю, и поэтому я...
Я использую библиотеку eplex и ic и пытаюсь решить проблему. Я вижу, что eplex и ic предоставляют...
У меня есть небольшой скрипт / код, и я хочу наложить некоторые ограничения active. В коде,...
Если у нас в Eclipse CLP есть две целевые функции, которые Cost1 важнее, чем Cost2, верно ли...
У меня есть следующие условия для двух переменных A и B: [A,B] #:: 1..10, (A #= 3) or (B #= 3), ((A...
В Eclipse CLP сколько ограничений или переменных я могу определить? В настоящее время я...
Для задачи завершения QuasiGroup я реализовал две модели.Одна из них - это модель, основанная...
Мой вопрос немного общий, но ответ на мой конкретный вопрос может быть очень полезным.Общий вопрос:...
Для данного CSP я использовал множество точек зрения, одна из которых - несколько более...
Я использую ECLiPSe 6.1. У меня есть массив переменных размерности N x N, назовем его Vars. Теперь...
Я решаю проблему планирования (кратко описано здесь: Планирование SWI Prolog CLP (FD) переключено...
Мне нужно смоделировать это (простое) ограничение в Eclipse CLP: С учетом трех переменных домена,...
Предположим, у нас есть список переменных.Мы хотим применить ограничение к переменным, но отношение...
Как использовать файл данных с программой Eclipse-clp или Prolog. для переменных и значений массива
Может ли кто-нибудь рассказать мне, как внедрить эти сигмы в ECLiPSe-CLP или Prolog, или хотя бы...
Когда я хочу запустить этот код в ECLiPSe-CLP, я получаю следующую ошибку Error: string stream 27:...
Я пишу решатель судоку в Прологе. Само судоку дается как вектор векторов: P = [[1,_,_, _,_,_, _,_...
Какое значение должно быть написано для правильного выполнения кода.Я даю любую сумму, которую я не...
Я хочу реализовать это суммирование как цель и ограничения (1-6). Может ли кто-нибудь мне помочь,...
У меня есть решатель на плате, его общая форма решателя нравится ниже: solver(Board):-...
У меня следующий запрос: ?- Remainder :: 0..8, Qoutient #:: 0..Dividened, Dividened #= Qoutient * 9...
У меня есть следующее утверждение в прологе (Eclipse CLP): ?-X::1..100, X/5 #= 2, X = 12. Результат...
Как я обнаружил, я могу использовать от $ и # в сокращенной версии suspend в Прологе.Следовательно,...
Я пытаюсь распечатать все решения проблемы n-фракций для n = 4: :- lib(ic). fractions(Digits) :-...
ECLiPSe CLP имеет встроенный предикат приостановки (+ Goal, + Prio, + CondList), в результате чего...