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

Question

是否可以将atom用作运算符和谓词。 一些事情：

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

所以我可以说：

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

而不是：

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

Answer 1

正如潜伏者所说，当我设置正确的优先权时，问题就解决了。

在您的具体情况下，它将取决于您定义的其他内容以及如何使用它。

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