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

Module 为什么prolog的ISO模块标准失败了?,module,prolog,standards,iso,iso-prolog,sicstus-prolog,gnu-prolog,Module,Prolog,Standards,Iso,Iso Prolog,Sicstus Prolog,Gnu Prolog,在引言中,它指出Prolog的ISO模块标准是一个失败。有人能详细说明一下吗 您引用的系统SWI Prolog是一个核心由单个开发人员开发的系统。你引用的那些大胆的言论是他的个人观点。过去,SWI确实在一定时期内遵循ISO标准。然后,最近改变了。如果您想了解更多信息,请参阅 有符合标准的系统,特别是:SICStus Prolog和GNU Prolog 如果您想更多地了解标准的目的,特别是ISO标准,请咨询您的国家标准化机构。他们当然提供1-2天的入门课程。因此,这里不是讨论这个问题的地方。这个问

在引言中,它指出Prolog的ISO模块标准是一个失败。有人能详细说明一下吗

您引用的系统SWI Prolog是一个核心由单个开发人员开发的系统。你引用的那些大胆的言论是他的个人观点。过去,SWI确实在一定时期内遵循ISO标准。然后,最近改变了。如果您想了解更多信息,请参阅

有符合标准的系统,特别是:SICStus Prolog和GNU Prolog


如果您想更多地了解标准的目的,特别是ISO标准,请咨询您的国家标准化机构。他们当然提供1-2天的入门课程。因此,这里不是讨论这个问题的地方。

这个问题和公认的答案都是基于误解。链接部分说“Prolog模块由ISO标准定义。不幸的是,该标准被视为失败,据我们所知,没有通过任何具体的Prolog实现实现。”这里提到的标准显然是ISO/IEC 13211-2,例如,ISO Prolog-第2部分:模块,而不是整个ISO Prolog标准。@MichaelBenYosef:您当然可以像以前一样阅读文本;不过,最好看看具体的制度及其作用。请参阅我的答案。@false:我密切关注SWI7的发布以及随后关于不符合项的争论,因此我非常了解这种情况。就我个人而言,我尝试在使用SWI时编写符合标准的代码。但我认为这里潜藏着一个有趣的问题,尽管这个问题也不适合这样做:为什么像你提到的两个系统采用ISO/IEC 13211-1,而ISO/IEC 13211-2几乎被普遍忽视。@MichaelBenYosef:“我试图编写一致性代码”在SWI中如何做到这一点?@MichaelBenYosef:无论如何,请认真回答我的回答。请看我的评论。我把问题从ISO标准编辑到ISO模块标准。问题中的链接指向ISO模块标准,而不是ISO(核心)标准。