>>679
Prologの連言が量子コンピュータ上では通じなくなるなんて
ことがあるかなぁ。