ISO/IEC 13211的这一部分旨在促进 Prolog模块的适用性和可移植性 符合编程要求的Prolog文本 ISO/IEC 13211本部分规定的语言Prolog。 ISO/IEC 13211的这一部分规定: a)构成Prolog的Prolog文本的表示 模块， b)准备Prolog应满足的约束条件 用于执行的模块，以及 c)对 处理模块的一致性Prolog处理器。 ISO/IEC 13211的这一部分没有规定: a)Prolog模块的大小或数量将超过 任何特定数据处理系统或语言的能力 处理器，或当限制为 超过， b)激活Prolog处理器或 用于控制环境的一组命令 Prolog模块准备执行， c)加载Prolog模块的机制， d）Prolog模块与 特定于处理器的文件系统。 1.1注释 ISO/IEC 13211本部分的注释对 语言、Prolog文本、模块文本或Prolog处理器 定义为符合ISO/IEC 13211的这一部分。原因 对于包含注释，包括: a)与本协议其他条款和子条款的交叉引用 ISO/IEC 13211的一部分，以帮助读者找到他们的 到处都是， b)本部分定义的内置谓词时的警告 ISO/IEC 13211在一些现有的 实施。

This part of ISO/IEC 13211 is designed to promote the applicability and portability of Prolog modules that contain Prolog text complying with the requirements of the Programming Language Prolog as specified in this part of ISO/IEC 13211. This part of ISO/IEC 13211 specifies: a) The representation of Prolog text that constitutes a Prolog module, b) The constraints that shall be satisfied to prepare Prolog modules for execution, and c) The requirements, restrictions and limits imposed on a conforming Prolog processor that processes modules. This part of ISO/IEC 13211 does not specify: a) The size or number of Prolog modules that will exceed the capacity of any specific data processing system or language processor, or the actions to be taken when the limit is exceeded, b) The methods of activating the Prolog processor or the set of commands used to control the environment in which Prolog modules are prepared for execution, c) The mechanisms by which Prolog modules are loaded, d) The relationship between Prolog modules and the processor-specific file system. 1.1 Notes Notes in this part of ISO/IEC 13211 have no effect on the language, Prolog text, module text or Prolog processors that are defined as conforming to this part of ISO/IEC 13211. Reasons for including a note include: a) Cross references to other clauses and subclauses of this part of ISO/IEC 13211 in order to help readers find their way around, b) Warnings when a built-in predicate as defined in this part of ISO/IEC 13211 has a different meaning in some existing implementations.