ANSI/INCITS/ISO/IEC 13211-2-2000 信息技术.程序设计语言.PROLOG.第2部分:模块

标准号：ANSI/INCITS/ISO/IEC 13211-2-2000
中文标准名称：信息技术.程序设计语言.PROLOG.第2部分:模块
英文标准名称：Information Technology - Programming Languages - Prolog - Part 2: Modules
标准类型：L74
发布日期：1999/12/31 12:00:00
实施日期：1999/12/31 12:00:00
中国标准分类号：L74
国际标准分类号：35.060
适用范围：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.