module - 为什么 prolog 的 ISO 模块标准失败了？

Question

关闭。这个问题是opinion-based .它目前不接受答案。












想改进这个问题？更新问题，以便 editing this post 可以用事实和引用来回答它.

6年前关闭。




Improve this question




简介here ，它指出 Prolog 的 ISO 模块标准是失败的。谁能详细说明这一点？

Answer 1

您引用的系统 SWI-Prolog 是一个核心由单个开发人员开发的系统。你引用的这些大胆的陈述是他非常个人的观点。过去，SWI 确实在一段时间内遵循 ISO 标准。然后，最近变了。如果您想了解更多相关信息，请参阅 this answer .

有些系统符合要求 - 特别是:SICStus Prolog sicstus-prolog和 GNU Prolog gnu-prolog .

如果您想了解有关标准用途的更多信息，特别是 ISO 标准，请参阅您的国家标准化机构。他们当然提供 1 天或 2 天的入门类(class)。 SO不是讨论这个的地方。