>>136 物理や数値解析系では、そーとも言う。
　　分野によって、訳語や用語が違うので、この手の疑問は普通に発生する。

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