実行機構についての補足

以上で KL1 の基本的な実行機構のすべてなのだが, ここまでの内容でいくつ かまだよく説明していないことがあるので, ここで少し補足しておこう.

• 複数の節が使えたら?
• どの節も使えなかったら?
• ボディ・ユニフィケーションで, 既に値の決まっている変数の値 をまた決めようとしたら?