SWI-Пролог и ограничения, библиотека CLP (FD)

Я играю с ограничениями в (swi) прологе, используя библиотеку clpfd.Я пытаюсь определить, когда один набор ограничений инкапсулирует или объединяет другой, н...

Наиболее общее ограничение высшего порядка, описывающее последовательность целых чисел, упорядоченных по отношению

В CLP (FD) нам часто нужно указывать: «Это список целых чисел и переменных конечной области в (иногда:строго) в порядке возрастания / убывания. "Существ...

Простая прологическая программа. Получение ошибки:> / 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). При тестировании: ?- ...

Обратимые численные расчеты в Прологе

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

Обратимое отношение длины дерева

Расписание матчей по теннису

Есть ограниченное количество игроков и ограниченное количество теннисных кортов. В каждом раунде может быть не больше, чем количество матчей. Никто не играет 2 раунда без перерыва. Все играют матч против всех остальных. Составьте расписание, ...

Спасибо larsmans, это хорошее улучшение, большое спасибо за это :). Проверено и работает, и я вижу, как :).

Обобщающая последовательность Фибоначчи с помощью SICStus Prolog

Я пытаюсь найти решение для запроса по обобщенной последовательности Фибоначчи (GFS). Вопрос: есть ли GFS, у которых 885 в качестве 12-го числа? Начальные 2 ...

Обратимое отношение длины дерева

Я пытаюсь написать обратимые отношения в "чистом" Прологе (нетis, вырезать или аналогичные вещи. Да, это домашнее задание), и я должен признать, что понятия не имею, как. Я не вижу никакого процесса, чтобы создать такую вещь. Нам даны ...

PROLOG Печатать числа, которые заканчиваются на 7, а сумма его цифр больше 100

Мне нужно создать предикат, который получает числовой список и печатать только те числа, которые заканчиваются на 7 и сумма его цифр превышает 100 Я сделал предикаты для разделенных, но мне нужна помощь в объединении двух предикатов, я имею в ...