原子可以既是谓词又是运算符吗？

Question

是否可以将原子同时用作运算符和谓词。 沿线的东西：

:- op(101, fy, rule).
:- op(99,  xfy, ==>).
rule(R) :- write_canonical(R).

所以我可以说:

 rule ...blah... ==> ...abc..

而不是：

 rule( ...blah... ==> ...abc.).

Answer 1

正如lurker所说，当我设置正确的优先级后问题就解决了。

在您的具体情况下，这将取决于您还定义了什么以及如何使用它。

要检查优先级冲突，请使用 current_op/3。