標準號：ANSI ISO/IEC 13211-2-2000
中文標準名稱：信息技術.Prolog語言.第2部分:被INCITS采用的模塊
英文標準名稱：Information technology Programming languages Prolog Part 2: Modules Adopted by INCITS
標準類型：L74
發布日期：2000/6/1 12:00:00
實施日期：1999/12/31 12:00:00
中國標準分類號：L74
適用范圍：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.