Вопросы по теме 'clpfd'
оператор целочисленного деления в Прологе
Этот код является частью программы, которую я пишу для решения шифровальной головоломки на прологе. Я решаю это с помощью CLPFD (SICStus Prolog). Я получаю сообщение об ошибке при использовании встроенного оператора целочисленного деления «//»...
8433 просмотров
schedule
29.12.2022
Пролог: распознать язык a^n b^(n+1) для n ›= 1
Я понимаю, что мне нужно решить домашнее задание, но, видя, что никто в классе не может его решить, мне нужна помощь.
Напишите программу на Прологе так, чтобы p(X) было истинным, если X — это список, состоящий из n a , за которыми...
374 просмотров
schedule
01.02.2023
Получить список наборов, где сумма каждого набора равна X
Я пытаюсь понять, как создать список наборов, где каждый набор имеет длину N, а сумма каждого набора равна X.
Я нашел этот код:
num_split(0,[]).
num_split(N, [X | List]):-
between(1,N,X),
plus(X,Y,N),
num_split(Y,List).
И я могу...
448 просмотров
schedule
30.06.2022
Пытаетесь подсчитать шаги через рекурсию?
Это куб, грани которого направлены; Он может идти только слева направо, сзади наперед и сверху вниз.
edge(a,b).
edge(a,c).
edge(a,e).
edge(b,d).
edge(b,f).
edge(c,d).
edge(c,g).
edge(d,h).
edge(e,f).
edge(e,g).
edge(f,h).
edge(g,h).
С...
3774 просмотров
schedule
16.07.2022
Программирование для картин Янга
Далее следует странный вопрос: Я участвую в соревновании по решению задач в моей школе, и нам разрешают пользоваться компьютером. Поскольку я единственный среди конкурентов, кто умеет программировать, я использую программы на C и Pascal для более...
2827 просмотров
schedule
15.07.2023
Производительность библиотеки Prolog CLP по конечным доменам
Я программирую планировщик / планировщик задач на Прологе, и для этого я планирую использовать Библиотека CLPFD (на SWIPL). Мне было интересно, насколько мощным является использование конечных доменов для решения задач планирования и какое влияние...
231 просмотров
schedule
18.04.2023
Ошибка утверждения Swi-Prolog
Я должен утвердить в SWI такие правила CLP (FD):
asserta(schedule(A,B) :- V = [S0,S1,S2],V ins 0..sup).
но я получаю эту ошибку:
ERROR: Syntax error: Operator expected
ERROR: asserta(schedule(A,B) :- V = [S0,S1,S2],V...
221 просмотров
schedule
13.03.2023
Обратный факториал в Прологе
Может ли кто-нибудь помочь мне найти способ получить обратный факториал в Прологе ...
Например inverse_factorial(6,X) ===> X = 3 .
Я работал над этим много времени.
В настоящее время у меня есть факториал, но я должен сделать его...
1154 просмотров
schedule
02.01.2023
Предотвращение возврата после первого решения пары Фибоначчи
Термин fib(N,F) верен, когда F является N числом Фибоначчи.
У меня обычно работает следующий код Пролога:
:-use_module(library(clpfd)).
fib(0,0).
fib(1,1).
fib(N,F) :-
N #> 1,
N #=< F + 1,
F #>= N - 1,
F #> 0,
N1...
1209 просмотров
schedule
22.05.2023
Формулировка квадратных уравнений в clpfd
Системы CLPFD в первую очередь не нацелены на эффективное решение квадратных уравнений, тем не менее, есть ли лучшие способы формулировать проблемы, подобные следующей?
Кажется, проблема сводится к следующим уравнениям. SWI с library(clpfd) дал:...
471 просмотров
schedule
23.05.2022
Разрешение ограничений в Прологе
Я ищу ресурсы для изучения разрешения ограничений в Prolog. Например,
List=[X, Y, Z], List ins 1..4, X - Y #= Z.
237 просмотров
schedule
13.04.2023
CLPFD для действительных чисел
CLP(FD) позволяет пользователю устанавливать домен для каждой целочисленной переменной, так что он может решать уравнения. Пока все хорошо.
Однако вы не можете сделать то же самое в CLP(R) или подобных языках (где вы можете делать только простые...
319 просмотров
schedule
25.05.2022
Можно ли использовать переменную в опции [limit (x)] кумулятивного предиката в прологе?
Я просто хочу сделать что-то вроде этого
schedule(Activities, GLB) :-
get_start_times(Activities,StartTimes),
get_resources(Activities,Resources),
get_durations(Activities,Durations),
sum_list(Durations, MaxTime),
StartTimes...
204 просмотров
schedule
14.06.2022
Синтаксическая ошибка Prolog в формате
Я получаю синтаксическую ошибку в строке формата, и я понятия не имею, почему!
magic3(Variables):-
Variables[A,B,C,D,E,F,G,H,I],
fd_domain(Variables,1,9),
fd_all_different(Variables),
A+B+C #= A+D+G,
A+B+C #= A+E+I,
A+B+C #=...
71 просмотров
schedule
15.03.2023
CLP в Прологе с последовательными суммами в списке
Пример моей проблемы с CLP (это небольшая часть более крупной проблемы, в которой используется библиотека clpfd):
Для списка длиной 5 факт el_sum(Pos,N,Sum) указывает, что N последовательных элементов, начиная с позиции Pos (индекс от 1), имеют...
141 просмотров
schedule
20.05.2022
clpfd - ограничение верхней связи домена максимумом списка элементов
Учитывая следующий код:
solve(G,L) :-
G = [A0,B0,C0,D0],
L = [A1,B1,C1,D1,A2,B2,C2,D2,A3,B3,C3,D3,A4,B4,C4,D4],
G ins 0..4,
L ins 0..max(G).
Я хочу, чтобы ограничение L не содержало значений, превышающих максимальное значение,...
201 просмотров
schedule
29.06.2023
Аргументы недостаточно конкретизированы по отношению к 2 примерам
Это очень часто задаваемый вопрос, но я хотел бы задать его в связи с двумя примерами, которые кажутся мне очень похожими, и все же один правильный, а другой нет.
Правильный пример:
k_th_element(X,[X|_],1).
k_th_element(X,[_|L],K):- K>1,K1...
78 просмотров
schedule
18.08.2022
Решение мультипликативной головоломки 4x4 5040 на Прологе с помощью clp (FD)
Сегодня я нашел загадку на https://puzzling.stackexchange.com/questions/22064/the-5040-square :
Заполните сетку 4x4 положительными целыми числами так, чтобы:
В каждой ячейке разное целое число
Произведение чисел в каждой строке...
169 просмотров
schedule
22.02.2022
Пазл о переходе моста с clpfd
Я попытался решить проблему «Побег из Зурга» с помощью clpfd. https://web.engr.oregonstate.edu/~erwig/papers/Zurg_JFP04.pdf Игрушки начинаются слева и идут направо. Вот что у меня есть:
:-use_module(library(clpfd)).
toy(buzz,5)....
1245 просмотров
schedule
30.01.2023
Как заморозить цель для списка переменных?
Моя конечная цель — сделать овеществленную версию автомата/3, который зависает, если в переданной ему последовательности есть какие-либо переменные. то есть я не хочу, чтобы автомат создавал экземпляры переменных.
(fd_length/3, if_/3 и т. д., как...
241 просмотров
schedule
13.12.2023
