Как избежать использования assert и retractall в Prolog для реализации глобальных (или состояний) переменных

Значение индикаторов режима инстанцирования в аргументах предикатов Пролога

Глядя на документацию по Прологу, подписи предикатов иногда записываются следующим образом:

Решение логической головоломки с использованием Пролога

Преступник является одним из A, B, C и D.А говорит: «Это'не я "Б говорит: «Это'с Д "С говорит: «Это'с Б "Д говорит:Это'не я &q...

Потоковое рассуждение / Реактивное программирование в прологе?

Пролог арифметический синтаксис

Как определить

Получение последнего символа строки в Прологе

Мне нужно получить последний символ строки. Например:

Пролог - Разбор

экзистенциальный классификатор в прологе, используя setof / bagof

У меня был быстрый вопрос повторно. экзистенциальный классификатор с использованием setof в прологе (т.е. ^).с помощью SICStus кажется, что (несмотря на то, ...

Пролог Аккумуляторы. Они действительно «другая» концепция?

Я изучаю Пролог в своей лаборатории искусственного интеллекта, из источникаВыучи Пролог сейчас!В 5-й главе мы узнаем оАккумуляторы, И как пример, эти два фра...

Разделение и остаток в Прологе

Попытка выяснить, как написать рекурсивный предикат div_by (X, D, I, R), который принимает в качестве входных данных положительное целое число X и делитель D...