Atom能否同时作为谓词与运算符使用？

嘿，这个问题问到点子上了！答案是可以，但具体实现得看你使用的编程语言/符号计算环境的语法规则——大部分支持自定义语法或运算符的工具都能做到这一点。

举个实际的例子，拿Prolog来说，我们可以让一个Atom（比如add）同时作为谓词和中缀运算符：

% 先把add定义为中缀运算符，设置优先级和结合性
:- op(500, xfx, add).

% 实现add作为谓词的逻辑
add(X, Y, Result) :- Result is X + Y.

这样一来，你既可以用谓词形式调用：

?- add(2, 3, Sum).
Sum = 5.

也可以用运算符形式（也就是你说的「目标形式」）来写：

?- 2 add 3 = Sum.
Sum = 5.

本质上，运算符形式只是语法糖，解析器会自动把它转换成谓词调用的形式，但从用户角度看，add确实同时扮演了两个角色。

再比如在Mathematica里，你也能给符号同时定义函数形式和运算符形式：

(* 定义函数形式 *)
add[x_, y_] := x + y;
(* 定义中缀运算符形式 *)
x_ add y_ := add[x, y];

之后你既可以写add[2,3]，也可以写2 add 3，两者效果完全一致。

不过要注意一个关键点：避免语法歧义。当一个Atom同时身兼两职时，解析器需要通过上下文（比如位置、相邻符号）来判断它当前是谓词还是运算符。比如如果写出add add add这种模糊的表达式，解析器可能会报错或者做出不符合预期的解析，所以设计用法时要尽量明确上下文。

内容的提问来源于stack exchange，提问作者sten