標準號：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.