>>897
代入以外の算術演算子が一切ないPrologのソースファイルをコンパイルしてそれを実行することを数学と呼ぶのなら、確かに数学は必要ですけど