Edit requests of アルゴリズムを書かない！？論理型言語 Prolog 紹介