Обратите внимание, что в то же время некоторые из этих предикатов являются частью GNU, поскольку они являются частью пролога Пролога: succ / 1, между / 3.
их реализациях Пролога отсутствуют некоторые предикаты, доступные в других.
Мы можем реализовать недостающие предикаты, назовем это «Уровень совместимости Prolog».
Знаете ли вы «Уровни совместимости Prolog» для Prolog (особенно для GNU-Prolog)?
Пожалуйста, структурируйте ответы следующим образом:
заглавие со ссылкой.«Реализовано для» - реализация пролога, которую вы могли бы использовать«Совместимость с» - реализация пролога, для которого сделан слой совместимости«Функция» - список функций совместимости (вы можете выделить ваши избранные)"Дополнительная информация" - комментарии, требования, ограничения и т. д."Лицензия" - информация о лицензииПостскриптум Вопрос вдохновлен другим вопросом:Синтаксическая проблема Пролога.