ANSI/INCITS/ISO/IEC 13211-1:1995
情報技術、PROLOG 言語、パート 1: 主要なコアコンテンツ

規格番号
ANSI/INCITS/ISO/IEC 13211-1:1995
制定年
1995
出版団体
American National Standards Institute （ANSI)
最新版
ANSI/INCITS/ISO/IEC 13211-1:1995
範囲
ISO/IEC 13211 は、さまざまなデータ処理システム間での Prolog テキストとデータの適用性と移植性を促進するように設計されています。 ISO/IEC 13211 のこの部分では、a) Prolog テキストの表現、b) Prolog 言語の構文と制約、c) Prolog テキストを解釈するための意味規則、d) Prolog によって処理される入力データの表現を指定します。 e) Prolog によって生成される出力の表現、f) 準拠する Prolog プロセッサに課せられる制限および制限。

ANSI/INCITS/ISO/IEC 13211-1:1995 発売履歴



© 著作権 2024