Sha*_*ala 2 standards iso module prolog iso-prolog
在这里的介绍中,它指出Prolog的ISO模块标准是失败的.任何人都可以详细说明这个吗？
您引用的系统SWI-Prolog是一个系统,其核心由单个开发人员开发.你引用的那些大胆的陈述是他个人的观点.过去,SWI确实遵循ISO标准一段时间.然后,最近改变了.如果您想了解更多相关信息,请参阅此答案.
有一些系统符合要求 - 特别是:SICStus Prolog sicstus-prolog和GNU Prolog gnu-prolog.
如果您想更多地了解标准的目的,特别是ISO标准,请参阅您的国家标准化机构.他们当然提供一天或两天的入门课程.所以不是讨论这个问题的地方.