もしふたつ以上の節のガードが真だったら, どの節を選ぶのだろう. KL1 の 言語仕様では, このような場合にはガードが真であるような節のうちのどれを 選ぶかあえて決めていない. 処理系の自由でどう決めても良いことになっ ている. したがって, 正しい KL1 プログラム では, ひとつの述語について排他的になるようにガード条件を書くか, 排他的 でない場合にはどれを選んでも正しく動くように書かなければならない.
処理系の自由でどう決めても良いことになっ
ている. したがって, 正しい KL1 プログラム
では, ひとつの述語について排他的になるようにガード条件を書くか, 排他的
でない場合にはどれを選んでも正しく動くように書かなければならない.