13/09/13 00:20:22.87 .net
述語論理を書くならprologは有力なツールでしょうね。
でも、そもそも我々は述語論理を扱いたいんじゃないんです。
むしろ触れずに済むなら、その方がきっといいんです。
目的を忘れて手段を論じても無益でしょう。
13/09/13 00:20:22.87 .net
述語論理を書くならprologは有力なツールでしょうね。
でも、そもそも我々は述語論理を扱いたいんじゃないんです。
むしろ触れずに済むなら、その方がきっといいんです。
目的を忘れて手段を論じても無益でしょう。