Part2スレの141に
>俺は、数式処理系(Macsyma〜Mathematica) と 命題処理系(ML?)に
>類似性を感じて、興味を持っていたので、乱入大歓迎。

という意見があったけど、実際の所どうよ？
雰囲気は確かに似ている様な気がせんでもないが