この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
1 スコープ
ISO/IEC 13211 のこの部分は、ISO/IEC 13211 のこの部分で指定されているように、プログラミング言語 Prolog の要件に準拠する 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.1 注意事項
ISO/IEC 13211 のこの部分の注釈は、ISO/IEC 13211 のこの部分に準拠していると定義されている言語、Prolog テキスト、モジュール テキスト、または Prolog プロセッサには影響しません。注釈を含める理由は次のとおりです。
- a) ISO/IEC 13211 のこの部分の他の条項および副次条項への相互参照。
- b) ISO/IEC 13211 のこの部分で定義されている組み込み述語が、いくつかの既存の実装で異なる意味を持つ場合の警告。
1 Scope
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.