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

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

5 голосов
/ 22 августа 2011

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

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

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

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

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

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

1 Ответ

4 голосов
/ 22 августа 2011

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

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

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

Описание: (GNU Compat.) "Реализует много важных предикатов, найденных в SWI 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, time / 1, если / 2, если / 3, если / 4

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

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

...