>>367
述語論理は知識表現の方法であって
どのようにデータを蓄積するかをしめすアルゴリズムじゃないからなぁ。

実際の問題の場合、NP-hardでも計算が充分早く終われば
問題ないと思う。