Prologこそ冗長の極みでそw