eclipse-clp

5зной

1ответ

Как преобразовать векторы в массивы в ECLiPSe (CLP)? (или Prolog)

Я должен решить головоломки Sudoku в формате вектора, содержащего 9 векторов (длиной 9 каждый). Видя, как векторы связаны списками в Prolog, я решил, что поиск будет идти быстрее, если я сначала преоб

1зной

1ответ

ECLiPSe CLP Ошибка типа в тусклом режиме?

Я пытаюсь получить размеры судоку платы в упадке CLP, однако я получаю следующее сообщение об ошибке: type error in dim([[_389, 9, 8, _395, _397, _399, _401, _403, _405], [_409, _411, _413, _415, 7, _

0зной

2ответ

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

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

2зной

3ответ

Constraint Набор инструментов для программирования с самым активным сообществом и ресурсами

Я новичок в CP. До сих пор я играл с MiniZinc, и я нахожу это очень весело. Перед тем, как совершить слишком много, я хочу, чтобы выяснить, какой язык CP & решатель лучше всего начать с точки зрения н

1зной

2ответ

Подключение java с программированием логики ограничений

Я пытаюсь подключить Java с логикой ограничений, я использую netbeans для java и eclipse 6.1 для логики ограничений, но когда я пытаюсь запустить код, появляется исключение java.lang.IllegalArgumentEx

1зной

2ответ

Как читать поток в Eclipse CLP?

Я новичок в Eclipse, и я пытался прочитать поток файлов без успеха. Код, который я обычно использую для этого в SWI-Prolog это: read_until_stop(File, [L|Lines]) :- read_line_to_codes(File, Codes)

3зной

2ответ

Что не так с этим решением для оптимизации пролога?

solve(Amounts) :- Total = 1505, Prices = [215, 275, 335, 355, 420, 580], length(Prices, N), length(Amounts, N), Amounts :: 0..Total//min(Prices), Amounts * Prices #= Tot