Physical Address
304 North Cardinal St.
Dorchester Center, MA 02124
IEC 13211-2-02 (ISO/IEC 13211-2:2002) 信息技术 — 编程语言 — Prolog 模块系统标准解析
深入解读Prolog编程语言的模块化机制及其国际标准化要求
国际标准 IEC 13211-2-02 由 IEC 与 ISO 联合制定，其文本与 ISO/IEC 13211-2:2002 完全等同。该标准是 Prolog 编程语言标准化体系的关键组成部分，旨在为 Prolog 程序定义一套通用、语义自洽的模块系统。本文将从标准概况、核心技术内容、实施要点以及与其他标准的关系四个维度进行深入剖析。
一、标准概况与适用范围
IEC 13211-2-02 的全称为《信息技术 — 编程语言 — Prolog — 第 2 部分：模块》（Information technology — Programming languages — Prolog — Part 2: Modules）。该标准于 2002 年首次发布，由 ISO/IEC JTC 1/SC 22（编程语言及其环境分技术委员会）负责制定。其主要目标是为 Prolog 语言引入一个可选的模块机制，在不偏离 ISO/IEC 13211-1（核心 Prolog）的前提下，为较大规模程序的封装、命名空间管理及重用提供标准支撑。
本标准适用于：
- Prolog 编译器与解释器的开发者——必须据此实现标准的模块设施；
- Prolog 应用程序员——依据模块系统组织代码，提高可维护性与可移植性；
- 标准化审核与认证机构——用于验证 Prolog 产品对模块特性的符合性。
适用范围涵盖模块的声明语法、导入导出规则、模块间谓词可见性、以及一组用于模块间操作的预定义谓词。标准不强制所有 Prolog 系统实现模块系统，但如果声称符合 ISO/IEC 13211-2，则必须完整实现其全部要求。
实用提示：IEC 13211-2-02 中的模块系统是核心语言之上的可选扩展层。开发者可在遵循 ISO/IEC 13211-1 的程序中逐步引入模块，而不必一次性重构全部代码。
二、主要技术内容与要求
2.1 模块定义与结构
一个模块由模块定义指令 :- module(ModuleName, PublicList) 起始，其中 ModuleName 是原子类型，代表模块唯一标识；PublicList 是由谓词指示器（谓词名/元数）组成的列表，声明了该模块对外公开的谓词。未在 PublicList 中出现的谓词默认为模块私有，外部不可见。
示例：
:- module(util, [reverse/2, append/3]).
reverse([], []). reverse([H|T], R) :- reverse(T, RevT), append(RevT, [H], R).
% private predicate helper(X) :- ...
模块内部可以包含任意核心 Prolog 子句，但只有导出的谓词才能被其他模块导入使用。
重要注意事项：模块名以及公开列表中的谓词指示器必须由纯原子构成，不得使用变量或复合项。违背此规则将导致不可移植的行为。
2.2 模块间交互：导入与可见性
模块 B 若要使用模块 A 中导出的谓词，必须通过 :- use_module(ModuleFile, ImportList) 指令声明。其中 ModuleFile 是模块源文件的路径（通常不含后缀），ImportList 指定欲导入的谓词指示器。导入后，这些谓词在当前模块中变为可见，如同本地定义。
标准还支持：
- 全部导入：不带 ImportList 的
:- use_module(ModuleFile)将导入该模块公开列表中的所有谓词； - 重导出：通过
:- use_module(ModuleFile, [..., reexport])形式，可以将被导入的谓词从当前模块再次导出，形成模块层次传递。
2.3 模块系统服务谓词
标准定义了一组可查询和操作模块状态的预定义谓词，下表给出了最常用的几个：
| 谓词 | 功能描述 |
|---|---|
current_module/1 | 枚举当前系统中所有已加载的模块名（回溯时产生多个解） |
module/1 | 返回当前所在模块的名称 |
use_module/[1,2,3] | 加载并导入其他模块的谓词；第三个参数用于指定导入的谓词列表以及可选的 reexport 选项 |
unload_module/1 | 卸载指定模块，释放其占用的所有资源 |
export/1 | 运行时修改当前模块的公开列表，添加新导出的谓词 |
这些服务谓词允许程序在运行时动态管理模块，为反射式编程和插件体系结构提供了标准化接口。
2.4 兼容性要求
符合 IEC 13211-2-02 的实现必须满足以下兼容性约束：
- 模块系统不得破坏已存在的核心 Prolog 程序（即核心程序在未引入模块时行为不变）；
- 同一模块名在不同源文件中重复加载时，行为可由实现定义（推荐覆盖更新）；
- 所有模块谓词的实现必须与核心 Prolog 的语义一致，特别是元谓词（如
call/1、findall/3）对模块敏感时须遵循标准指定的作用域规则。
安全关键要求：实现必须确保模块间的谓词调用不能突破公有/私有边界。任何尝试直接调用非导出谓词的行为（例如通过
call(':'(Module, Pred))）均应被拒绝或引发permission_error异常。这是模块封装性的最低保障。 三、实施与应用的要点
3.1 实现者关注点
对于 Prolog 系统开发者，实现模块系统时需重点处理：
- 符号表管理：每个模块应维护独立的谓词表，分离公有和私有条目；
- 导入解析：处理循环导入（直间或间接）时不能产生死锁或静态语义错误；
- 元谓词兼容：
assert/1、retract/1等动态操作应自动归类到当前模块的存储空间； - 文件与模块命名映射：标准不指定文件系统与模块名的绑定关系，但建议实现提供可预测的搜索机制。
标准实施的益处：采用 IEC 13211-2-02 模块系统后，Prolog 项目可以自然地划分出逻辑单元，减少全局命名冲突，从而提升代码的可维护性，并能够通过标准化接口轻松集成第三方库。
3.2 应用开发者最佳实践
- 始终在文件头部明确声明
module/2，并列出所有公有谓词——即使只导出其中一个； - 使用
:- use_module/1,2时尽量显式列出导入的谓词，避免一次性导入全部，降低意外冲突几率； - 对于大型系统，按功能或层级（如 API、内部工具、测试）组织模块目录，并为模块名添加统一前缀或层次（例如
myapp_io、myapp_utils）； - 利用重导出机制创建“模块聚合”（如全局 API 模块），简化顶层调用者的导入操作。
四、与其他标准的关系
IEC 13211-2-02 必须与 ISO/IEC 13211-1（核心 Prolog）协同使用。核心部分定义了 Prolog 的基础数据类型、控制流、输入输出、异常处理及元编程等；模块部分在此基础上增加了一套作用域和封装机制，但不会改变核心谓词的用法。两个标准共同构成了完整、分层的 Prolog 语言规范。
与其他编程语言标准的关系：本标准在封装思想（模块、导入、导出）上与 Ada、Modula-2、Python 等语言的模块/包系统类似，但保留了 Prolog 特有的逻辑变量和回溯特性。因此，不存在直接替换关系，而是为异构语言互操作提供规范的 Prolog 端接口。
此外，IEC 13211-2-02 也与 C/C++等语言的链接规范无直接关联；但当需要将 Prolog 代码嵌入其他语言时，模块系统的标准化命名空间有助于生成稳定的外部调用点。
实用提示：如果您同时使用 ISO/IEC 13211-1 和 IEC 13211-2-02，请确保您所选的 Prolog 系统（如 SWI-Prolog、GNU Prolog、SICStus Prolog 等）在两个标准上的符合程度。许多系统在模块扩展上超出了本标准的范围，可移植性测试尤为重要。
常见问题（FAQ）
问： IEC 13211-2-02 是否要求所有 Prolog 实现都必须支持模块系统？
答： 不。模块系统是可选扩展。如果一个实现声称“符合 ISO/IEC 13211-2”，则必须完整实现标准所规定的所有模块功能。但普通 Prolog 实现可以仅支持核心部分（ISO/IEC 13211-1）而不支持模块。
答： 不。模块系统是可选扩展。如果一个实现声称“符合 ISO/IEC 13211-2”，则必须完整实现标准所规定的所有模块功能。但普通 Prolog 实现可以仅支持核心部分（ISO/IEC 13211-1）而不支持模块。
问： 在模块中如何调用其他模块的私有谓词？
答： 标准禁止直接调用其他模块的非导出谓词。如果确实需要跨模块访问，应通过导出谓词提供标准的入口。从语言安全角度，这是封装的基础；若实现提供了绕过机制，将不属于本标准范畴。
答： 标准禁止直接调用其他模块的非导出谓词。如果确实需要跨模块访问，应通过导出谓词提供标准的入口。从语言安全角度，这是封装的基础；若实现提供了绕过机制，将不属于本标准范畴。
问： 模块系统是否影响谓词
答： 标准未明确规定，但通常实现会将当前模块上下文一并序列化。在标准中建议此类谓词应保留模块信息，以便恢复时保持封装性。具体行为请参考目标实现的手册。
save/1 和 restore/1（状态保存/还原）？答： 标准未明确规定，但通常实现会将当前模块上下文一并序列化。在标准中建议此类谓词应保留模块信息，以便恢复时保持封装性。具体行为请参考目标实现的手册。
问： 与其他标准（如 C、C++）的链接（foreign interface）是否会受到模块系统影响？
答： 受影响。当外部代码回调 Prolog 谓词时，必须在调用中指定目标模块，否则将引发错误。标准推荐的方案是通过模块前缀（Module:Pred）显式指代，具体细节由各实现定义。
答： 受影响。当外部代码回调 Prolog 谓词时，必须在调用中指定目标模块，否则将引发错误。标准推荐的方案是通过模块前缀（Module:Pred）显式指代，具体细节由各实现定义。
© 2026 本文档为基于国际标准 IEC 13211-2-02 的技术解读，所有权利归原作者及发布方所有。文中所述内容仅供技术参考，不构成法律或认证意见。
