導出原理
述語論理の部分アルゴリズムにおいて，項をもっとマシな方法で見つけるための何からしい