Описание тега clpq

Вопросы с тегом
CLPQ или CLP(Q) - это расширение языка Prolog для программирования логических ограничений, а не рациональных чисел.
1 ответ

Решение неравенства с использованием Пролога

Я работаю над решением проблем неравенства, используя пролог. Я нашел код, который решает уравнения типа ax+b>=0. Код, который я использовал, выглядит следующим образом. :-use_module(library(clpr)). dec_inc(left,right):- copy_term(left-right,Copylef…
23 ноя '14 в 07:11
1 ответ

Решатель уравнений в SWI-Prolog

Я хочу написать программу на SWI-Prolog это решает уравнения. я знаю GNU Prolog и это заставляет меня нервничать... Что здесь не так? equation(X1,X2) :- { 2*X1 + 3*X2 =:= 6, {X1 is 0; X1 is 1}, {X2 is 0; X2 is 1} }. X1 а также X2 всегда равно 0 или …
13 фев '13 в 15:30
1 ответ

Ненужная переменная в результате минимизации при программировании логики ограничений с помощью swi-prolog

Я следую за Иваном Браткосом "Пролог программирования для искусственного интеллекта, четвертое издание", и сейчас я читаю о программировании логики ограничений. В книге приведен небольшой пример оптимизации для планирования задач, который выглядит с…
27 июл '13 в 22:15
4 ответа

Как мне работать с уравнениями, которые передаются в цели / запросе пролога?

У меня есть этот сценарий, в котором я получаю линейное уравнение в запросе Пролога, как показано ниже: ?- myquery( 3X + 5Y = 10, Result). Поэтому мой запрос имеет уравнение 3X + 5Y = 10, которое в общем случае принимает форму AX + BY = C, где A=3, …
04 фев '12 в 17:51
2 ответа

Ошибка CLP при запуске plweb

Я скачал plweb с http://www.swi-prolog.org/git/plweb.git/snapshot/7cd70cef6011b480ef05f2b8679728abba719c0c.tar.gz $cd plweb-7cd70ce/ $./run ERROR: plweb-7cd70ce/register.pl:35: source_sink `library(smtp)' does not exist Warning: plweb-7cd70ce/regist…
14 янв '13 в 09:00
2 ответа

Определите куб и три интервала в Прологе

Мне нужно определить куб и три интервала Cx, Cy и Cz как проекции кубоида на оси x, y и z соответственно. Я должен использовать предикат интервала interval_dur, Изображение на ссылке может более ясно, что мне действительно нужно. Кубоидальные проекц…
23 дек '13 в 20:41
4 ответа

Мне любопытно, если логические программы могут сделать алгебру

Я прочитал небольшую статью о прологе и логическом программировании. Мне любопытно, могут ли логические программы выполнять алгебру. Как вы могли бы спросить, что переменная X в уравнении 5+X = 7 и получить ответ -2?
03 дек '12 в 19:19
2 ответа

Решатель неравенств с использованием пролога

Я новичок в Пролог и неравенства. Я хочу решить следующий тип вопроса неравенства, используя Пролог. Я использую SWI-Prolog. например: 2x+3>5 - вопрос. Как я могу написать программу, чтобы получить ответ этой программы x>1.
26 авг '14 в 18:03
1 ответ

Альтернатива для SWI прологов Библиотека CLPQ для простого симплекса

Извините, если это неправильное место, чтобы спросить. Я использовал библиотеку SWI Prolog clpq для решения симплекса. Я нахожу синтаксис довольно простым и выразительным. Это выглядит так: :- use_module(library(clpq)). main(U, V, W) :- { 0 =< U,…
18 сен '11 в 20:40
1 ответ

Значения ограничений на локальной переменной

В настоящее время я работаю над проблемой планирования с использованием библиотеки:- use_module(library(clpq)). Моя проблема заключается в поиске полного решения моей постановки проблемы. schedule(BestSchedule, BestTotTime) :- %BestSchedule of forma…
31 дек '14 в 05:32
2 ответа

SWI-Пролог и ограничения, библиотека CLP(FD)

Я играю с ограничениями в прологе (swi), используя библиотеку clpfd. Я пытаюсь определить, когда один набор ограничений инкапсулирует или включает в себя другой, например, X<4 инкапсулирует X<7, так как всякий раз, когда первое истинно, последнее ис…
03 ноя '10 в 17:36
0 ответов

Пролог с неравенствами

Я нашел эту программу для решения проблем неравенства из какого-то интернет-источника. Она работает хорошо. Это программа. :-use_module(library(clpq)). dec_inc(Left,Right):- copy_term(Left-Right,CopyLeft-CopyRight). tell_cs(CopyLeft). max(CopyRight,…
12 янв '15 в 17:31
1 ответ

Почему Prolog/clpq не решит это квадратное уравнение?

Я использую SWI-Prolog, я очень новый и все еще учусь. На практике этот вопрос является продолжением вопроса. Почему мое правило не может найти решение для X в простом алгебраическом уравнении? Я импортировал CLPQ. ?- use_module(library(clpq)). true…
23 сен '16 в 19:02
1 ответ

Как установить библиотеку clpq в swi-prolog

Я бегу SWI-Prolog (Multi-threaded, 64 bits, Version 7.2.3) на стабильной Linux Debian. Я хочу установить clpq пакет для программирования логики Constraint Logic. Тем не менее, кажется, что нет там при запросе с pack_list команда: ?- pack_list(clpq).…
26 апр '19 в 11:06
1 ответ

Решение простой геометрической головоломки в CLPQ/R (Пролог)

Рассмотрим следующий квадрат: Вам дается три ограничения: Все прямоугольники (A, B, C, D и E) имеют одинаковую площадь; Их геометрическое расположение представляет собой квадрат; а также Высота A равна 2. Теперь я знаю, что это очень просто решить в…
27 июл '20 в 03:44