5

在一个 Prolog 实现中缺少一些谓词，而这些谓词在其他实现中可用。

我们可以实现缺少谓词，我们称之为“Prolog 兼容层”。

你知道 Prolog（尤其是 GNU-Prolog）的“Prolog 兼容层”吗？

请按以下方式构建答案：

  • 带链接的标题。
  • “实现” - 您可能想使用的 prolog 实现
  • “兼容性” - 完成兼容层的 prolog 实现
  • “功能” - 兼容性功能列表（您可以加粗您的收藏夹）
  • “附加信息” - 评论、要求、限制等。
  • “许可证” - 许可证信息

PS 问题的灵感来自另一个问题：Prolog 语法问题。

4

1 回答 1

4

YAP、SWI 和 GNU Prolog 兼容层

为： GNU-Prolog、SWI Prolog、YAP Prolog 实现。

兼容： SWI-Prolog 和其他 Prolog

描述：（GNU Compat.）“实现了在 SWI Prolog 中发现的许多基本谓词以及在 GNU Prolog 中不可用的许多其他 Prolog 实现。”

函数：（GNU 兼容）not/1、is_list/1、succ/2、sformat/3、string/1、is_codes/1、算术函数、eval_arith/2、downcase_atom/2、forall/2、flag/3、介于/3 , gensym/2, time/1, if/2, if/3, if/4

附加信息：（GNU Compat.）“此外，您需要从 SWI 发行版中包含 lists.pl。”

许可证： GNU公共许可证

于 2011-08-22T18:12:59.340 回答