Prolog是一种基于逻辑的编程语言，它的主要特点是使用谓词逻辑来描述问题和解决问题。Prolog程序由一系列规则和事实组成，这些规则和事实可以被用来推导出问题的答案。Prolog程序通常是由多个模块组成的，每个模块都有自己的命名空间和可见性规则。

ISO/IEC 13211-2:2000规定了Prolog编程语言中模块的语法和语义，以及模块之间的交互方式。模块是Prolog程序的基本组成部分，它们可以被用来组织程序、控制程序的可见性和访问性，以及实现程序的模块化和重用。

该标准定义了Prolog程序中模块的语法和语义，包括模块的声明、导出和导入规则，以及模块之间的访问和调用方式。模块的声明包括模块的名称、导出的谓词和导入的模块列表。导出的谓词是指可以被其他模块访问和调用的谓词，导入的模块列表是指当前模块需要访问和调用的其他模块。

ISO/IEC 13211-2:2000还规定了Prolog程序中模块之间的交互方式，包括模块之间的调用和消息传递。模块之间的调用是指一个模块调用另一个模块中的谓词，消息传递是指一个模块向另一个模块发送消息并接收响应。模块之间的交互可以通过谓词调用和消息传递来实现。

总之，ISO/IEC 13211-2:2000是一项关于Prolog编程语言模块的国际标准，它规定了Prolog程序中模块的语法和语义，以及模块之间的交互方式。该标准为Prolog程序的模块化和重用提供了基础，使得Prolog程序更加易于维护和扩展。

相关标准
- ISO/IEC 13211-1:1995 Information technology -- Programming languages -- Prolog -- Part 1: General core
- ISO/IEC 13211-3:1995 Information technology -- Programming languages -- Prolog -- Part 3: Strings
- ISO/IEC 13211-4:1995 Information technology -- Programming languages -- Prolog -- Part 4: Definite clause grammar
- ISO/IEC 13211-5:1995 Information technology -- Programming languages -- Prolog -- Part 5: Built-in predicates