述語の原則

次にある述語に着目した出力コードの原則について解説する。つまり、第3.1章 (

ページ)にて<nrev/2のコード>と記述した部分について解説する。図3.5のnrev/2の出力部分、すなわち、84 - 125行目部分を模式化した図を図3.2に示す。

**Figure 3.2:** 述語の構造
$\begin{figure}\begin{tex2html_preform}\begin{verbatim}nrev_2_top: { <通常呼び出�... ...綾萢��> goto interrupt_2; }\end{verbatim}\end{tex2html_preform}\end{figure}$

図3.2内に記述された各説明についての概説を以下に記述する。

通常呼び出しの入口:

述語が通常呼び出しされた場合には、モジュール関数の入口を経由し、 switch_on_pred マクロを経由してこの部分より実行される。このあち、ゴールレコード内に格納されている引数をa0, a1 ...an といった変数に読みこむ。

特殊な直接呼び出しの入口:

通常、直接呼び出しの際には、この箇所にgoto文により飛び込む。直接呼び出しでは、ゴールレコードを用いずに、引数(a0...n)は、すでに呼び出し側で用意しているため、引数の読み出し処理は必要ない。

この入口の直後では、reasonp = reasons;なる操作が行われる。 reasonpは中断スタックの先頭を指すことになっている変数である。中断スタックとは、KL1での「中断操作」を実装するために用いられているスタックである。KLICでのガード実行中に、具体化されていることが必要であるデータがまだ具体化されていない場合には、この中断スタックにそのデータへのポインタを積む。当該述語の全ての節の実行可能性を確認した後、どの述語も実行することができない場合には、後述する「例外処理入口」に飛ぶ (これは、上記でのinterrupt_2 にgotoした後に行われる)。その結果、例外処理中でこの中断スタックが調査され、空かどうか検査を行う。空でなければ、積まれているデータが中断した原因であり、中断操作を行う。中断スタックが空であれば、中断する要因はなかったことになり、「fail操作」が行われることになる。

この「特殊な直接呼び出しの入口」の直後ではこの中断スタックを空にする操作が行われる。つまり、直接呼び出しを行う時点で中断スタックが空ではない可能性がある場合にはこの部分に飛びこむようなコードが出力される。

通常の直接呼び出しの入口:

ここに飛び込むのは、直前の述語(直接呼び出しを行う述語)で直接呼び出しを行った時点で中断スタックが空であるような場合にここに飛び込むコードが出力される。 KL1のかなり多くの述語では、「中断要因が積まれた(=中断スタックが空ではない)」にも関らず述語の実行ができることはなく、多くの場合には直接呼び出し時にはこちらの方を呼び出すことができる。これができない(つまり、中断スタックが空ではない状態で次の述語を直接呼び出しする可能性がある)のは多重待ちをしている場合である。

nrev/2のコード部分:

実際のnrev/2のコードが出力される。これらのついては、第3.5章 (

ページ)を参照のこと。

直接呼び出し時の例外処理入口:

この部分は、当該述語(nrev/2)が他の述語を直接呼び出しする際に、例外が発見された (例えば、ヒープが溢れた場合。詳細は第3.4章 (

ページ)を参照)場合にはこの部分に飛びこまれる。その結果reasonpが0に初期化され、例外処理で判定され、当該処理が行われる。

例外処理入口:

述語のガード部で失敗または中断したことが発見された場合には、この部分に飛び込まれる。その結果、reasonp は中断スタックの底、またはいくつかデータが積まれた状態の先頭を指しており、例外処理(

ページ、第3.4章参照)で判定され、当該処理が行われる。

Sekita Daigo
1998-05-18