述語論理の部分アルゴリズム