autoreasoning:Go中的自动推理

自理 受到启发，这是一个小型go程序，它打印出简化表达式的结果： e = (1 + 0 × x) × 3 + 12. 这是用go编写的： var e Expr = Add { Mult { Add { Const ( 1 ), Mult { Const ( 0 ), Var ( "x" )}}, Const ( 3 )}, Const ( 12 )} 调整表达式将揭示可以将哪种表达式简化为常数（在控制台上会打印一个数字）。 执照 该软件的版权（c）2015 Bernerd Schaefer。 它是免费软件，可以根据文件中指定的条款进行重新分发。