そこまでPrologに肩入れする理由は何?