clpfd

4зной

4ответ

Как использовать динамические базы данных в Prolog?

Я написал следующую программу, которая вычисляет самую длинную неубывающую подпоследовательность входного массива. Подпрограмма, чтобы найти самый длинный список из списка списков, берется из stackove

list prolog clpfd lis prolog-assert 2016-02-05

---

4зной

4ответ

Пролог: Устройства k элементов с суммой элементов S

Я пытаюсь вычислить аранжировки K элементов в Prolog, где сумма их элементов равна заданному S. Итак, я знаю, что механизмы могут быть вычислены путем нахождения комбинаций, а затем перестановки. Я зн

list prolog combinations permutation clpfd 2016-02-12

---

1зной

1ответ

SICStus Prolog 4.3.2: clpfd не получил питания?

Некоторые из моих программ на Прологе может получить прибыль довольно немного, если я мог бы заменить все(is)/2 -А целочисленной арифметику их clpfd коллегой. Так что я хочу власть ... с clpfd ... так

prolog portability clpfd sicstus-prolog 2015-12-25

---

2зной

2ответ

проверить список чисел, отличающихся друг от друга в прологе

У меня есть список чисел в прологе. числа уже отсортированы. Я хочу проверить, что ни один из чисел не повторяется, а разные между любыми двумя числами больше одного. Как его проверить. Есть идеи. Спа

list prolog clpfd 2016-02-20

---

2зной

2ответ

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

Даны два отсортированных списков Xs и Ys, как я могу гарантировать абсолютную разницу между любыми X в Xs и любой Y в Ys по крайней мере, два? Примеры запросов с ожидаемыми ответами: ?- different([1,2

list prolog clpfd 2016-02-27

---