Результаты поиска по запросу "clpfd"
Обратимые численные расчеты в Прологе
При чтении SICP я наткнулся на главу 4.4 по логическому программированию. Затем я начал изучать язык программирования Prolog и попытался понять несколько простых заданий в Prolog. Я обнаружил, что у Пролога проблемы с числовыми вычислениями. ...
Clojure core.logic CLP (FD) проецирует переменные FD
я работаю над наивным алгоритмом квадратной упаковки, используя Clojure 's core.logic CLP (FD) библиотека (core.logic версия 0.8.3).Квадраты представлены...
Как написать вид условного планирования в прологе?
Я попытался написать код пролога, который может понять программу студента, написанную на C #. Теперь я застрял в процессе распознавания утверждения «если» в студенческой программе. Например: ниже приведен код, который я ожидаю от студента. int d ...
Обобщающая последовательность Фибоначчи с помощью SICStus Prolog
Я пытаюсь найти решение для запроса по обобщенной последовательности Фибоначчи (GFS). Вопрос: есть ли GFS, у которых 885 в качестве 12-го числа? Начальные 2 ...
Clojure core.logic CLP (FD) проецирует переменные FD
Я работаю над простым алгоритмом квадратной упаковки, используя библиотеку Clojure core.logic CLP (FD) (core.logic версия 0.8.3). Квадраты представлены так: [[[x11 y11] [x12 y12]] [[x21 y21] [x22 y22] ...]]с каждым квадратом, представленным как ...
Как написать вид условного планирования в прологе?
Я попытался написать код пролога, который может понять студенческую программу, написанную на C #. Сейчас я'Я застрял в процессе распознаванияесли' по...
Пролог для начинающих: как создать уникальные значения для каждой переменной в предикате
У меня есть предикат пролога:
Простая прологическая программа. Получение ошибки:> / 2: аргументы недостаточно проработаны
Я сделал предикат ПрологаposAt(List1,P,List2) проверяет, находится ли элемент в позицииP ofList1 а такжеList2 равны posAt([X|Z], 1, [Y|W]) :- X = Y. posAt([Z|X], K, [W|Y]) :- K > 1, Kr is K - 1, posAt(X, Kr, Y). При тестировании: ?- ...
Получение порядка в разрешении предикатов
Посмотрите на следующие цели (я использую swi-пролог с clpfd от Маркуса Триски): result(Input,Result) :- Input #> 10, Result=decline. result(Input,Result) :- Input in 0..20, Result=offer.Возможный запрос выглядит так: ?- result(15,B). B = ...
SWI-Пролог и ограничения, библиотека CLP (FD)
Я играю с ограничениями в (swi) прологе, используя библиотеку clpfd.Я пытаюсь определить, когда один набор ограничений инкапсулирует или объединяет другой, н...