注意点

Next: 4.5 応用: 幅優先評価の実現 Up: 4.4 もうひとつの優先度 Previous: 4.4 もうひとつの優先度

次の点を注意すべきである.

第 2 節が選択されたからといって, 第 1 引数にメッセージが到着してないとは限らない.

優先度はプログラムの意味を変えないものである. 第 2 節は第 1 引数が変数でないことを示していないのである. KL1 は変数が具体化されたことを確認できるが, その逆はできない.

Next: 4.5 応用: 幅優先評価の実現 Up: 4.4 もうひとつの優先度 Previous: 4.4 もうひとつの優先度

KLIC