量子コンピュータが実用化されたら Prolog 大活躍するん?