述語名エンコード規則

Next: 定数構造体のコンパイル Up: エンコーディング規則 Previous: モジュール関数名エンコード規則

述語名エンコード規則は以下のようになっている。

$\begin{displaymath}\begin{array}{r} {\tt predicate\_} + KL1モジュール名を基本規�... ...Г砲茲螢┘鵐魁璽匹靴進源﨓�\\ + {\tt\_} + 引数個数 \end{array}\end{displaymath}$

Sekita Daigo
1998-05-18