- 118 名前：110 mailto:sage [2009/05/20(水) 17:51:16 ]
- >>117さま
string（atom）で返しているのは、assert以外に、ルール文をファイル保存等、
テキスト処理を行いたいため、そのようになっています。
※
parse_atom/2には直接関係無いため、記述を省略しておりました。
わかりにくくて申し訳ありません。
ruleの直接生成については、ご指摘の通りだと思います。
ただ、create_ruleでは複雑な処理を行っているのので、
今回は無理をせずにatom_to_termで行きたいと思います。
ご指摘ありがとうございました。
