そういう類いの問題はprologでやればすぐなのに…