基本規則

基本的に、KL1言語レベルのモジュール名、述語名(これはKL1のアトムである) は、以下のようにエンコードされる。

• KL1レベルの名前で、[A-z0-9]についてはそのまま。

• KL1レベルの'_' は、'__' に変換される。

• 上記にあてはまらない文字は、'_HH' と 3文字に変換される。HHの 2文字は元の文字の文字コードをあらわす2桁の 16進文字列で、0-9,A-Fの16文字のうち何れのうち2文字。

表3.1にいくつか例をあげる。

 

 

KL1での名前 エンコーディング後

foo foo

foo_bar foo__bar

'foo<>bar' foo_3C_3Ebar