Prolog兼容性层 - 可用的编程库

Question

在一个Prolog实现中缺少一些谓词,在其他实现中可用.

我们可以实现缺少谓词,让我们称之为"Prolog兼容层".

你知道Prolog的"Prolog兼容性层"(特别是对于GNU-Prolog)吗？

请按以下方式构建答案:

• 标题与链接.
• "已实施" - 您可能希望使用的prolog实现
• "兼容性" - 为兼容层完成的prolog实现
• "功能" - 兼容性功能列表(您可以加入您的收藏夹)
• "其他信息" - 评论,要求,限制等.
• "许可证" - 许可证信息

PS问题受另一个问题启发:Prolog语法问题.

Answer 1

YAP、SWI 和 GNU Prolog 兼容层

• GNU Prolog 兼容层
• SWI Prolog 兼容层
• YAP Prolog 兼容层

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

兼容性： SWI-Prolog 和其他 Prolog

描述：（GNU 兼容）“实现了 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、时间/1、if/2、if/3、if/4

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

许可证： GNU 公共许可证