Результаты поиска по запросу "clpfd"

4 ответа

Получение порядка в разрешении предикатов

Посмотрите на следующие цели (я использую swi-пролог с clpfd от Маркуса Триски): result(Input,Result) :- Input #> 10, Result=decline. result(Input,Result) :- Input in 0..20, Result=offer.Возможный запрос выглядит так: ?- result(15,B). B = ...

3 ответа

Пролог арифметический синтаксис

Как определитьa как целое число / число с плавающей запятой? Я хочу найти результатыa+b+c+d=10 гдеa,b,c,d целое число и>=0.

3 ответа

Пролог арифметический синтаксис

Как определить

ТОП публикаций

2 ответа

Я хочу посчитать вхождения элемента в списке

1 ответ

Можно ли объявить возрастающий список?

Я могу составить списки по возрастанию целых чисел следующим образом: ?- findall(L,between(1,5,L),List). Я знаю, что могу также генерировать значения, используя: ?- length(_,X). Но я не думаю, что смогу использовать это в findall, например, ...

6 ответов

Нелогичное поведение min_member / 2

min_member(-Мин + Список)Истинно, когда Min является наименьшим членом в стандартном порядке терминов. Сбой, если список пуст.

2 ответа

Найти силы 2 в списке Пролог

4 ответа

Обработка ограничений Prolog: Упаковочные квадраты

1 ответ

Clojure core.logic CLP (FD) проецирует переменные FD

я работаю над наивным алгоритмом квадратной упаковки, используя Clojure 's core.logic CLP (FD) библиотека (core.logic версия 0.8.3).Квадраты представлены...

2 ответа

prolog конвертирует числа в римские цифры

меня есть этот код, который преобразует целые числа в римские цифры. Мне нужно добавить функцию, которая сравнивает целое число с вводом римских цифр и показывает, является ли оно try или false, например: roman (v, 5). правд toroman(0). ...