为什么 SWI-Prolog 只给 f/1 就发明了 f/2？

Question

SWI-Prolog 7.6.4：

?- dif(X, f(Y)), X=f(a).
X = f(a),
dif(f(f(a), Y), f(f(Y), a)).

请注意，我在查询中使用了f/1，但约束在f/2 上。这没有错，但似乎相当迂回。为什么 Prolog 不返回

?- dif(X, f(Y)), X=f(a).
X = f(a),
dif(Y, a).

Answer 1

打印约束中的f 与您的f 无关。它只是将子项放在一起的占位符：

?- dif(X, incal(Y)), X=incal(a).

X = incal(a),

dif(f(incal(a), Y), f(incal(Y), a)).    <--- residual constraints, not yet resolved

上面的意思就是：

• incal(a) 必须与 incal(Y) 保持不同；和
• Y 必须与 a 保持不同

是的，您可以简化这一点，但是......何时才能知道优化的成本是否会低于收益？