为什么 prolog 的 ISO 模块标准失败了？ [关闭]答案

【问题标题】：Why was the ISO module standard for prolog a failure? [closed]为什么 prolog 的 ISO 模块标准失败了？ [关闭]
【发布时间】：2015-06-13 14:06:45
【问题描述】：

在介绍here 中，它指出Prolog 的ISO 模块标准是失败的。任何人都可以详细说明这一点吗？

【问题讨论】：

这个问题和接受的答案是基于一个误解。链接部分说“Prolog 模块是由 ISO 标准定义的。不幸的是，该标准被认为是失败的，据我们所知，它没有被任何具体的 Prolog 实现实现。”这里提到的标准显然是 ISO/IEC 13211-2，即 ISO Prolog - 第 2 部分：模块，而不是整个 ISO Prolog 标准。
@MichaelBenYosef：您当然可以像以前那样阅读文本；但是更好地了解具体系统及其作用。请参阅我的答案。
@false：我密切关注了 SWI7 的公告以及随后关于不符合项的争论，所以我很清楚这种情况。就个人而言，我尝试在使用 SWI 时编写符合要求的代码。但我认为这里潜伏着一个有趣的问题，尽管它也不适用于 SO：为什么像您引用的两个系统一样采用 ISO/IEC 13211-1 而 ISO/IEC 13211 -2 几乎被普遍忽略。
@MichaelBenYosef：“我尝试编写符合标准的代码”你如何在 SWI 中做到这一点？
@MichaelBenYosef：无论如何，请认真对待我回答中的最后一个标准。

【解决方案1】：

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

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

如果您想详细了解标准的用途，尤其是 ISO 标准，请咨询您所在的国家标准化机构。他们当然提供 1 天或 2 天的入门课程。 SO 不是讨论这个的地方。

【讨论】：