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

Question

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

Answer 1

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

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

如果您想更多地了解标准的目的，特别是ISO标准，请参阅您的国家标准化机构。他们当然提供一天或两天的入门课程。所以不是讨论这个的地方。