Уровни совместимости Prolog - доступные библиотеки программирования

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

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

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

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

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

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

Источник

1 ответ

Решение

Уровень совместимости YAP, SWI и GNU Prolog

Реализовано для: GNU-Пролог, SWI Пролог, YAP Пролог.

Совместимость с: SWI-Прологом и другими Прологами

Описание: (GNU Compat.) "Реализует многие существенные предикаты, найденные в SWI Prolog и многих других реализациях Prolog, которые недоступны в GNU Prolog."

Функции: (GNU Compat.) Not /1, is_list /1, succ /2, sformat /3, string /1, is_codes /1, arithmetic_function, eval_arith / 2, downcase_atom /2, forall /2, flag /3, между / 3, gensym /2, время /1, если /2, если /3, если /4

Дополнительная информация: (GNU Compat.) "Кроме того, вам нужно включить lists.pl из дистрибутива SWI."

Лицензия: публичная лицензия GNU

Источник
Другие вопросы по тегам