线的不同表示

Question

我正在学习序言。我试着写

 Anew is + (A is H1 * H2),

而不是

is(Anew,+(A,*(H1,H2))),

但它会产生错误。我的错误在哪里？你能帮助我吗？谢谢。

Answer 1

它们不一样：

Anew is + (A is H1 * H2),
%       ^^   ^^  bad!

相反，写（给定标准运算符）：

Anew is A + H1 * H2,