их реализациях Пролога отсутствуют некоторые предикаты, доступные в других.

Мы можем реализовать недостающие предикаты, назовем это «Уровень совместимости Prolog».

Знаете ли вы «Уровни совместимости Prolog» для Prolog (особенно для GNU-Prolog)?

Пожалуйста, структурируйте ответы следующим образом:

заглавие со ссылкой.«Реализовано для» - реализация пролога, которую вы могли бы использовать«Совместимость с» - реализация пролога, для которого сделан слой совместимости«Функция» - список функций совместимости (вы можете выделить ваши избранные)"Дополнительная информация" - комментарии, требования, ограничения и т. д."Лицензия" - информация о лицензии

Постскриптум Вопрос вдохновлен другим вопросом:Синтаксическая проблема Пролога.