BS ISO/IEC 13211-2:2000
情報技術.プログラミング言語.PROLOG.モジュール

規格番号

BS ISO/IEC 13211-2:2000

制定年

2000

出版団体

British Standards Institution (BSI)

最新版

BS ISO/IEC 13211-2:2000

交換する

00/644620 DC

範囲

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 注 ISO/IEC 13211 のこの部分の注は、ISO/IEC 13211 のこの部分に準拠すると定義されている言語、Prolog テキスト、モジュール テキスト、または Prolog プロセッサには影響を与えません。 注を含める理由は次のとおりです。 読者が道を見つけやすくするために、ISO/IEC 13211 のこの部分の他の節や副節への参照、 b) ISO/IEC 13211 のこの部分で定義されている組み込み述語が、既存の一部の言語では異なる意味を持つ場合の警告実装。

BS ISO/IEC 13211-2:2000 発売履歴

• 2000 BS ISO/IEC 13211-2:2000 情報技術.プログラミング言語.PROLOG.モジュール