Prolog 兼容层 - 可用的编程库
一种 Prolog 实现中缺少一些在其他实现中可用的谓词。
我们可以实现缺少的谓词，我们称之为“Prolog 兼容层”。
您知道 Prolog（尤其是 GNU-Prolog）的“Prolog 兼容层”吗？
请按以下方式构造答案：
- 标题和链接。
- “实现” - 您可能希望使用的 prolog 实现
- “兼容性” - 为其完成兼容性层的 prolog 实现
- “函数” -兼容性功能列表（您可以将您最喜欢的功能加粗）
- “附加信息” - 注释、要求、限制等。
- “许可证” - 许可证
信息问题受到另一个问题的启发：Prolog 语法问题。
There is a lack of some predicates in one Prolog implementations, that are available in others.
We can implement lacking predicates, let's call this "Prolog Compatibility Layer".
Do you know "Prolog Compatibility Layers" for Prolog (especially for GNU-Prolog) ?
Please structure answers in following way:
- Title with link.
- "Implemented for" - prolog implementation you might like to use
- "Compatibility with" - prolog implementation for which compatibility layer is done
- "Functions" - list of compatibility functions (you can bold yours favourites)
- "Additional info" - comments, requirements, limitations etc.
- "License" - license info
P.S. Question inspired by another question : Prolog syntax problem.
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
YAP、SWI 和 GNU Prolog 兼容性层
实现： GNU-Prolog、SWI Prolog、 YAP 序言。
兼容性： 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、 Between/3、 gensym/2, time/1, if/2, if/3, if/4
其他信息：（GNU 兼容）“此外，您需要包含来自 SWI 发行版的lists.pl。”
许可证： GNU 公共许可证
YAP, SWI and GNU Prolog compatibility layer
Implementated for: GNU-Prolog, SWI Prolog, YAP Prolog.
Compatibility with: SWI-Prolog and other Prologs
Description: (GNU Compat.) "implements many essential predicates found in SWI Prolog
and many other Prolog implementations that aren't available in GNU Prolog."
Functions: (GNU Compat.) 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
Additional info: (GNU Compat.) "Additionally, you need to include lists.pl from the SWI distribution."
License: GNU public license