Если у вас есть определение check_entries (X, Y)., Кто-нибудь знает, что будет лучшим способом рекурсивно проверять два списка и перебирать эти списки и сравнивать каждый элемент, чтобы узнать, отлича
Может ли кто-нибудь сказать мне, есть ли более простой способ написать этот код в Prolog, мне нужно, чтобы это сузилось, чтобы сделать его более компактным. Это то, что я до сих пор: add(X,[],[X]).
a
Я пытаюсь ограничить два списка, начиная с N последовательных элементов (E), используя CLP (FD). Вот пример: пусть L1 и L2 два списка размера 6, элементы принадлежат к области [0, 1], E = 1, и N = 3,
В коде Пролога можно передать инструкции компилятору, используя «безглавые» предложения Horn, которые не имеют отношения к левому краю левостороннего импликации материала: - '(⇐). Например, для импорт
Я использую Sicstus Prolog, и я пытаюсь решить Domino Puzzle. У меня есть список с триплетами, которые мне нужно установить в домене. Я знаю, как установить домен одной переменной или список отдельных