Prolog兼容层-可用的编程库

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

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

您知道Prolog的“Prolog兼容层”吗（特别是GNU Prolog）

请按以下方式构造答案：

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

由另一个问题启发而来的附加问题：。

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

与：SWI Prolog和其他Prolog的兼容性

Description:（GNU Compat.）实现了SWI Prolog中的许多基本谓词 以及GNU Prolog中不可用的许多其他Prolog实现。”

函数：（GNU Compat.）not/1，is_list/1，succ/2，sformat/3，string/1，is_code/1，算术函数，求值算术/2，downcase_atom/2，forall/2，flag/3，介于/3之间，gensym/2，time/1，if/2，if/3，if/4

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

---

License:GNU public License

请注意，同时，这些谓词中的一些是GNU的一部分，因为它们是序言的一部分：succ/1，介于/3之间。