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

Question

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

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

你知道Prolog的“Prolog兼容性层”（特别是对于GNU-Prolog）吗？

请按以下方式构建答案：

• 标题，带链接。
• “已实施” - 您可能希望使用的prolog实施
• “与”的兼容性 - 兼容层已完成的prolog实现
• “功能” - 兼容性功能列表（您可以加入您的收藏夹）
• “其他信息” - 评论，要求，限制等。
• “许可证” - 许可证信息

P.S。问题受到另一个问题的启发：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 Compat。）“实现了SWI Prolog中的许多基本谓词 以及GNU Prolog中没有的许多其他Prolog实现。“

函数：（GNU Compat。）not / 1，is_list / 1，succ / 2，sformat / 3，string / 1，is_codes / 1，arithmetic_function， eval_arith / 2 < / strong>，downcase_atom / 2，forall / 2，flag / 3，介于/ 3 ，gensym / 2，时间/ 1，if / 2，if / 3，if / 4

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

许可证： GNU公共许可证