Prolog 兼容层 - 可用的编程库

Question

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

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

您知道 Prolog(尤其是 GNU-Prolog)的“Prolog 兼容层”吗？

请按以下方式构造答案:

• 带有链接的标题。
• “实现” - 您可能想要使用的 prolog 实现
• “兼容性” - 已完成兼容性层的 prolog 实现
• “函数” - 兼容性函数列表(您可以将您最喜欢的函数加粗)
• “附加信息” - 评论、要求、限制等
• “许可证” - 许可证信息

附注问题受到另一个问题的启发:Prolog syntax problem .

Answer 1

YAP, SWI and GNU Prolog compatibility layer

• GNU Prolog compatibility layer
• SWI Prolog Compatibility layer
• YAP Prolog compatibility layer

实现: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、arithmetic_function、eval_arith/2、downcase_atom/2、forall/2、flag/3、Between/3、gensym/2、time/1、if/2、if/3、if/4

其他信息:(GNU 兼容)“此外，您需要包含 SWI 发行版中的lists.pl。”

许可证: GNU 公共(public)许可证