clpfd

0зной

1ответ

Разница между столбцом матрицы и использованием all_different

Я пытаюсь выразить отношение при переходе от одного элемента в списке-списках к другому элементу. То, что я хочу сделать, заключается в том, что должна существовать определенная разница между двумя пр

2зной

1ответ

Как мы можем выбрать случайный набор данных из списка решений, предоставленных Prolog?

Я новичок в прологе и прокладываю себе путь через решатели FD. Я изучаю как SWI-Prolog, так и Gnu Prolog. У меня есть случай, когда необходимо устранить ограничение, подобное приведенному ниже, и одно

1зной

1ответ

Можете ли вы использовать переменную в опции [limit (x)] кумулятивного предиката в прологе?

Я просто хочу сделать что-то вроде этого schedule(Activities, GLB) :- get_start_times(Activities,StartTimes), get_resources(Activities,Resources), get_durations(Activities,Durations),

2зной

3ответ

Пролог Constraint Programing найти четные и нечетные числа

нужно создать предикат: applyConstraints(L) Это относится ограничения к переменным в L таким образом, что нет два смежных элементов в L не являются нечетными или даже, как я могу сделать что? С фикс

1зной

1ответ

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

Я пытаюсь решить ax^2 + bx + c> 0 вопрос о неравенстве типа с использованием пролога. Могу ли я использовать это кодирование для решения проблемы. два :-use_module(library(fd)). compute(L=R, X) :-

2зной

2ответ

CLPFD для реальных чисел

CLP (FD) позволяет пользователю установить домен для каждой переменной wannabe-integer, чтобы он мог решать уравнения. Пока все хорошо. Однако вы не можете сделать то же самое в CLP (R) или подобных я

6зной

3ответ

Ошибка утечки памяти Sicstus Prolog

Этот вопрос является продолжением этого question. Я бегу большое количество тестов в Sicstus прологе: runtest:- t1, t2, t3, . . t100. Каждый тест является автономным и будет печатать свой резу