Использование Пролога для вычисления GCD многочлена

Название вроде говорит само за себя. Я рассчитываю вычислить GCD двух полиномов. Есть ли способ сделать это в Прологе? Если так, что является хорошей отправн...

как разбить предложение в swi-прологе

Я пробую свои силы на SWI-Пролог в Win XP. Я пытаюсь понять, как разбить предложение в Прологе на отдельные атомы.Пример: скажем, у меня есть предложение вро...

Какая польза от if_ / 3?

Предикат

Поиск уникальных предметов в списке

Как создать факт в SWI-Prolog?

Я просто хочу создать что-то вроде:

Шаблон сопоставления эквивалентных переменных в Haskell, как в Prolog

В прологе мы можем сделать что-то вроде следующего:

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

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

mini-kanren В чем разница между cond-a cond-u и cond-e?

Я попытался использовать реализацию мини-канрена в clojure. Но изо всех сил пытался понять разницу между cond-a cond-u и cond-e. Кажется, я вполне понимаю, ч...

Контроль предикатов в Прологе

Имейте любопытство, связанное с предикатным контролем Пролога.Предположительно, у меня есть предикат f (A, X) и g (B).

правдоподобный раскол в прологе

Привет сообщество stackoverflowпоэтому я пытаюсь вычислить этот вывод