>>727,746あたりはprologで頑張ってた頃の遺産を引き継いでるんだろうけど
自然言語から論理式を抜き出す部分が実用にはならないんじゃないかね
第五世代コンピュータは来るのが早すぎたんだ