Описание тега clpr
CLP(R) (Программирование логических ограничений над вещественными числами) - решатель ограничений над вещественными числами. Чаще всего в качестве приближения используются значения с плавающей запятой. Во многих системах Prolog он размещен как библиотека (clpr).
1
ответ
Решение неравенства с использованием Пролога
Я работаю над решением проблем неравенства, используя пролог. Я нашел код, который решает уравнения типа ax+b>=0. Код, который я использовал, выглядит следующим образом. :-use_module(library(clpr)). dec_inc(left,right):- copy_term(left-right,Copylef…
23 ноя '14 в 07:11
1
ответ
Доступ к коэффициентам в числовом выражении (clpr)
У меня есть несколько предложений, в которых глава представляет имена и значения набора переменных в линейном уравнении, а тело - фактическое уравнение. Вот так: :-use_module(library(clpr)). relation( independents([ var(x1, X1), var(x2, X2), var(x3,…
21 фев '19 в 14:33
2
ответа
Свернуть /1 не переставляет порядок решений
Для Observatorio Fiscal из Колумбии [1] я кодирую простую проблему минимизации налогов, используя CLP(R) (в SWI-Prolog). Я хочу использовать свернуть /1, чтобы сначала найти наименьшее решение. Вместо этого он сначала перечисляет большее решение. Во…
05 янв '18 в 21:52
1
ответ
Правильный способ написания рекурсивных функций в CLP(R) с помощью Пролога
Я очень запутался в том, как CLP работает в Прологе. Мне не только трудно увидеть преимущества (я вижу это в конкретных случаях, но мне трудно их обобщать), но, что более важно, я едва ли могу придумать, как правильно написать рекурсивный предикат. …
10 янв '17 в 09:17
1
ответ
SWI-Prolog: Как написать решение для вывода командной строки?
Я использую SWI-Prolog с библиотекой clpr для решения ограничений на действительные числа. Я делаю это, вызывая SWI-Prolog из командной строки и анализируя вывод другой программой. Например, чтобы решить что-то вроде {F = 1.8 * C + 32}, {C = 25}. Я …
16 сен '17 в 13:56
2
ответа
Проблема мета-интерпретатора XSB Prolog с ограничениями clpr
Я запускаю XSB Prolog на моем Mac (El Capitan 10.11.2): XSB версии 3.6. (Gazpatcho) от 22 апреля 2015 г. [i386-apple-darwin15.2.0 64 бита; режим: оптимальный; двигатель: slg-wam; планирование: местное] [Дата постройки: 2016-01-17] Я использую пакет …
08 фев '16 в 11:05
1
ответ
Точные решения для lib(ic)
Использование ECLiPSe Prolog's lib(ic) Я наткнулся на следующую проблему от Дэвида Х. Бейли: "Разрешение численных аномалий в научных вычислениях". который я упоминал в книге Унума. На самом деле, это только часть этого. Во-первых, позвольте мне сфо…
25 июн '15 в 19:16
0
ответов
SWI-PROLOG Как использовать предикаты решателя библиотеки (clpqr)
У меня не получается использовать предикаты из библиотеки CLPQR в SWI-Prolog. Сама библиотека работает. Выражения типа "clpq: {X = 5^2}" решаются правильно. Но я не могу понять, как использовать "свернуть", "максимизировать", "inf", "sup" и т. Д. Сс…
14 авг '18 в 10:15
2
ответа
Порядок неизвестных в программировании логики ограничений Prolog (clpr)
Я имею: :-use_module(library(clpr)). comp(X, Y, Z):- {X = Y * Z, Y = Z, Y > 0, Z > 0}. Который с запросом: ?-comp(X,3,Z). Урожайность: X = 9.0, Z = 3.0 как и ожидалось. Но почему нет comp(9,Y,Z). также дать мне значения для Y и Z? Вместо этого…
26 авг '18 в 16:16
0
ответов
Запись вывода CLPR на консоль
Я очень новичок в Прологе. Я хочу изменить код, чтобы записать вывод на консоль. Как я могу записать вывод этой программы на консоль? % % from file: library('clpqr/examples/elimination') % conv(Points, Xs) :- lin_comb(Points, Lambdas, Zero, Xs), zer…
19 июл '15 в 07:26
1
ответ
Использование prolog & clpr для системы ограничений
Я хочу использовать пролог в настольном приложении для генерации случайного вектора, который удовлетворяет системе ограничений. Например, наш пользователь может предоставить нашему программному обеспечению следующую информацию во время выполнения: У…
08 май '17 в 07:25
1
ответ
Как связать Prolog CLP(R) с реальными векторами?
Я использую Пролог для решения простых геометрических уравнений. Например, я могу определить все точки p3 на линии, проходящей через две точки p1 а также p2 как: line((X1, Y1, Z1), (X2, Y2, Z2), T, (X3, Y3, Z3)) :- {(X2 - X1) * T = X3}, {(Y2 - Y1) *…
01 июл '18 в 21:08
1
ответ
Аргументы недостаточно проработаны в прологе
Я пытаюсь запустить этот код, но я получаю эту ошибку каждый раз, когда я использую этот запрос: gp174(P, S). ERROR: >=/2: Arguments are not sufficiently instantiated. и это мой код: call_option(B,S,C,E,P) :- 0 =< S, S =< E / 100, P = -C * …
10 окт '12 в 14:51
1
ответ
Пролог SWI, CLP(R): Могу ли я связать ограничение с переменной?
Или переменная ограничения может быть связана с другой переменной (см. Пример ниже)? ?- use_module(library(clpr)). true. % this works ?- {X >= 5.0, X =< 10.0}, minimize(X). X = 5.0 . % but I do not know why this fails ?- C = {X >= 5.0, X =&…
26 июн '19 в 18:58
1
ответ
Решение простой геометрической головоломки в CLPQ/R (Пролог)
Рассмотрим следующий квадрат: Вам дается три ограничения: Все прямоугольники (A, B, C, D и E) имеют одинаковую площадь; Их геометрическое расположение представляет собой квадрат; а также Высота A равна 2. Теперь я знаю, что это очень просто решить в…
27 июл '20 в 03:44
1
ответ
Пролог SWI - CLP(R) не распространяется полностью
Это дает мне результат: ?- {5/(X) = (5/2)}. X = 2.0 ; Это показывает мне ограничение, но не позволяет мне использовать Xлюбым материальным способом: ?- {5/(3-X) = (5/2)}. {-2.5+5/(3-X)=0.0}. ?- {5/(3-X) = (5/2)}, Z is X. ERROR: Arguments are not suf…
17 май '22 в 23:46