Реализация прорези трассировки мета-интерпретатора пролога

У меня есть мета-интерпретатор трассировки, измененный с предыдущего вопросаПролог unbind связанной переменной.Я не понимаю, как интерпретировать разрез. Бла...

Сглаживание только одного уровня списка в Прологе

Я работаю над проблемой сглаживания только одного уровня списка в Прологе. Например,

Сложность предикатов ISO Пролог

Как работает связывание в абстрактной машине Уоррена, если одним из аргументов является регистр?

Я пытаюсь создать свою собственную реализацию WAM, и я застрял вупражнение 2.4Я не могу понять, как выполнить инструкцию

Граф БД против Пролога (или miniKanren)

Индексирование первого аргумента

Я хочу знать, как интеллектуальная индексация первого аргумента реализована в различных реализациях Prolog.В частности, простые цели типового теста, такие как

Бесконечный метод заполнения, бесконечный цикл, который возвращает ответ, но не завершается

Так что я работаю над каким-то прологом и столкнулся с проблемой, которую не понимаю, почему появляется. Эта проблема на самом деле возникает в некоторых мои...

Ошибка неопределенной процедуры в прологе

Исключая все вхождения минимального числа в списке

Как новичок Пролога, я пытаюсь определить предикат

Списки различий в Прологе и изменяемых переменных

Являются ли списки различий средством «обойти» тот факт, что переменные являются неизменяемыми в прологе?То есть если я реализую добавление с использованием ...