信息技术 程序设计语言 Prolog 第2部分:模块

[中文适用范围]： ISO/IEC 13211 的本部分旨在促进 Prolog 模块的适用性和可移植性，这些模块包含符合 ISO/IEC 13211 本部分规定的编程语言 Prolog 要求的 Prolog 文本。 ISO/IEC 13211 本部分规定： a) 构成 Prolog 模块的 Prolog 文本的表示， b) 准备执行 Prolog 模块时应满足的约束，以及 c) 对处理模块的合格 Prolog 处理器施加的要求、约束和限制。 ISO/IEC 13211 的这一部分没有规定： a) 将超出任何特定数据处理系统或语言处理器容量的 Prolog 模块的大小或数量，或者超出限制时要采取的操作， b)激活 Prolog 处理器的方法或用于控制 Prolog 模块准备执行的环境的命令集，c) Prolog 模块加载的机制，d) Prolog 模块和处理器特定文件系统之间的关系。 1 注释 ISO/IEC 13211 本部分中的注释对被定义为符合 ISO/IEC 13211 本部分的语言、Prolog 文本、模块文本或 Prolog 处理器没有影响。 包含注释的原因包括： 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.