是否有计划在ISO Prolog中标准化Quintus/SICStus风格模块系统？

问题背景 #

Prolog模块的ISO标准（ISO/IEC 13211-2）从未被广泛采用，如今几乎所有广泛使用的Prolog系统都采用Quintus/SICStus风格的模块系统（如SWI、SICStus等），且几乎所有正在开发的新Prolog系统也在采用该风格（如Scryer、Trealla等）。因此，是否有计划在ISO Prolog中标准化Quintus/SICStus风格的模块系统（或其子集）？

回答 #

目前没有公开的、明确的ISO标准化计划，将Quintus/SICStus风格的模块系统（或其子集）纳入正式的ISO Prolog标准体系中，主要原因包括：

• ISO Prolog的标准化流程本身偏于缓慢，且需要多方实现者达成共识。尽管多数主流系统都遵循Quintus/SICStus风格，但不同实现间仍存在细节差异（比如SWI-Prolog的导出规则、Scryer的模块加载逻辑等），要统一为标准子集需要大量协调工作。
• 原ISO模块标准（ISO/IEC 13211-2）虽未被广泛使用，但仍是ISO Prolog标准的正式组成部分，替换或补充该标准需要经过ISO工作组的正式提案与审议流程，目前暂无公开的相关提案或活动推进此事。
• 值得注意的是，社区层面已经形成了事实标准：新开发的Prolog系统（如Scryer、Trealla）大多以SICStus模块系统为基准，SWI-Prolog等成熟系统也保持了与该风格的高度兼容。这种趋同态势可能为未来的标准化打下基础，但这并不等同于ISO层面的正式计划。

内容的提问来源于stack exchange，提问作者bakaq