KL1とかGHC、FlengはCommitted-Choice型の言語と呼ばれている。 並行論理型言語の一種なのだが、どうして、Committed-Choiceと呼ばれるのかが やっとわかった。 そこで KL1 では, どの公理を選ぶかを決めたら決して後戻りしない方針をとった. そのかわり, ど…