Описание тега eclipse-clp

Описание тега Вопросы с тегом
ECLiPSe - это система программирования логики ограничений, которая работает с Prolog в качестве базового движка. Он включает в себя модули для целочисленного логического программирования, а также с плавающей запятой. Он также поддерживает большое количество глобальных ограничений.
3 ответа

Результатом Sum является слово floor(Col + Row + 1), которое никогда не является целым числом, и я не знаю, почему

Я должен написать часть пролога, где я должен вычислить, какая позиция в массиве используется для хранения значения. Однако результат этих вычислений должен возвращать целое число, поэтому я использую предикат floor/1, чтобы получить целое число зна…
15 апр '14 в 16:51
0 ответов

Сделать отображение матрицы пролога tkeclipse

Я новичок в прологе и хочу сгенерировать матрицу отображения из приведенного ниже кода пролога, как показано на рисунке. Изображение ниже генерируется из данного кода пролога с использованием tkEclipse (Eclipse для пролога) Ниже приведен код проблем…
23 май '18 в 20:41
1 ответ

Пользовательская эвристика в ECLiPSe CLP

Рассмотрим следующую головоломку: Ячейка либо помечена, либо не помечена. Числа в правой и нижней части головоломки обозначают общую сумму для определенной строки или столбца. Ячейки вносят (если отмечены) в сумму в своей строке и столбце: ячейка в …
23 май '16 в 11:37
1 ответ

Загадка ECLiPSe CLP: идеальная подгонка прямоугольника

Я работаю над головоломкой, известной как "деление на коробки". По сути, это форма идеальной подгонки прямоугольника, основанная на данных подсказках. Правила таковы: Некоторые ячейки сетки содержат числа (это известные входные данные) Задача состои…
17 мар '16 в 15:47
1 ответ

Профилирование ECLiPSe CLP?

Я сделал две реализации, чтобы решить загадки Сикаку. Один использует Top,Left,Width и Height (TLWH) в качестве параметров для каждого прямоугольника, другой Top,Left,Bottom,Right (TLBR). По некоторым причинам тот, который использует TLBR, намного б…
01 апр '16 в 12:44
2 ответа

Почему в ECLiPSe Прологе указана неполная цифра?

Я использую последнюю версию ECLiPSe Prolog 64-bit для Windows, затем компилирую код: :- op(200, yf, !). !(N, F) :- fac(N, 1, F). fac(0, F0, F) :- !, F=F0. fac(N, F0, F) :- N1 is N-1, F1 is F0*N, fac(N1, F1, F). Введен запрос: ?- X is 100000 !. X = …
08 дек '17 в 23:50
4 ответа

Есть ли способ использовать модуль /2 в ECLiPSe Prolog?

В SWI-Prolog я использую код, такой как в начале текстового файла модуля: :- module(foo, [bar/2]). :- use_module(library(jack)). Я не хочу менять свой код. Как я могу использовать ECLiPSe Prolog (*). Есть ли библиотека, которая определяет module/2 д…
23 мар '14 в 15:21
2 ответа

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

Я новичок в затмении CLP и хочу реализовать предикат, который получает все углы, эквивалентные определенной синусоидальной функции, что-то вроде :- lib(ic). solve(L) :- L = [X,Y,Z], L::[-180..180], cos(X) #= sin(Y) + sin(Z), labeling(L). Я знаю, что…
30 июн '13 в 10:38
1 ответ

Все для кортежей

Я пытаюсь решить судоку с точки зрения, что каждое число имеет 9 позиций. Это представление для моей судоку: Из таблицы видно, что число 5 имеет следующие позиции (строка, столбец) в судоку: (2,8),(4,2),(6,5). Когда я упоминаю строку в своем объясне…
18 май '16 в 07:11
1 ответ

Как вы проверяете элементы подматрицы в Прологе?

Я пытаюсь написать решатель Shikaku в EclipsE Prolog. Мои ограничения определены следующим образом: solve(Problemname):- writeln("Start shikaku."), problem(Problemname, Width, Height, Hints), shikaku(Width, Height, Hints). shikaku(Width, Height, Hin…
22 май '16 в 08:18
1 ответ

ECLiPSe CLP: пауза между подрезультатами, найденными поиском /6 в библиотеке ic

(Этот вопрос касается поиска /6.) Мне было интересно, есть ли способ, а не ручная трассировка, приостанавливать выполнение поиска /6 каждый раз, когда было найдено новое решение для одной переменной? Я хотел бы сделать это для дальнейшего изучения т…
26 мар '16 в 12:13
1 ответ

ECLiPSe clp: получение всех соседних ячеек на сетке

Поэтому моя проблема заключается в следующем: я хочу, учитывая некоторую точку с координатами X,Y в сетке, вернуть все смежные ячейки. (Примечание: в следующих примерах я использую обозначение UL = верхний левый, UM = верхний средний, UR = верхний п…
23 мар '16 в 09:28
2 ответа

В чем разница между количеством /3 и /3 в прологе?

В чем разница между количеством /3 и /3 в прологе? а как использовать цикл for с декрементом -1 вроде ( для (I, 9,0, -1) )? например:Dec = -2, Min_bound = 0, Max_bound = 9 Результат => 9,7,5,3,1
29 дек '15 в 09:36
1 ответ

ECLiPSe CLP Ошибка типа в дим?

Я пытаюсь получить размеры платы судоку в ECLiPSE CLP, однако получаю следующую ошибку: type error in dim([[_389, 9, 8, _395, _397, _399, _401, _403, _405], [_409, _411, _413, _415, 7, _419, _421, _423, _425], [_429, _431, _433, _435, 1, 5, _441, _4…
17 мар '16 в 17:23
2 ответа

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

Я новичок в Eclipse и безуспешно пытаюсь прочитать поток файлов. Код, который я обычно использую для этого в SWI-Prolog, таков: read_until_stop(File, [L|Lines]) :- read_line_to_codes(File, Codes), Codes \= end_of_file, atom_codes(L, Codes), L \= sto…
25 июл '13 в 17:33
1 ответ

Портирование ECLiPSe на Пролог

Я решил проблему с назначением статей на конференции, используя ECLiPSe. Цель: похожие статьи должны быть на одних и тех же сессиях. Это решение, которое работает в ECLiPSe: :- lib(fd). paper(1, 'An Empirical Study on Using Stereotypes to Improve Un…
11 июн '13 в 18:12
1 ответ

Как я могу получить доступ к элементу в списке для пролога?

Поэтому у меня возникают проблемы при попытке получить один элемент из списка, используя Prolog, без использования рекурсии, используя только циклы, такие как foreach, foreachelem и т. Д. Итак, у меня есть список Xs = [1,2,3], и я хочу получить кажд…
17 апр '14 в 06:38
1 ответ

Как использовать clpfd в прологе eclipseCLP (без затмения Java IDE)

Я пытаюсь создать простой план маршрутизации с помощью CLP в прологе, используя http://eclipseclp.org/, и я хочу использовать библиотеку clpfd prolog, но компилятор их не распознает. Я получаю эту ошибку: library not found in use_module(library(clpf…
22 апр '16 в 10:47
3 ответа

Пример ограничения канала ECLiPSe

Может ли кто-нибудь привести простой пример ограничений канала? Канальные ограничения используются для объединения точек зрения проблемы ограничения. Руководство по ограниченному программированию дает хорошее объяснение того, как оно работает и поче…
21 июн '16 в 14:48
1 ответ

Нужна помощь с похожим кодом More Money для Пролога

Каждая буква в загадке однозначно представляет одну из 10 цифр в 0, 1, …, 9. Никакие две буквы не представляют одну и ту же цифру. Для каждого слова ниже в загадке первая буква не равна 0. Пример: SHINE - THAN == ВЯЗАНИЕ Все, что у меня есть для код…
18 май '14 в 05:59