Prolog-谓词运算符

Question

是否可以在谓词的参数中包含运算符（例如+，>，=，！=，> =等）（下面的示例只是演示，没有太多用处）？

test(A > B) :- A > B.
test(A >= B) :- A < B.

似乎可以工作，但是：

test(A != B) := A > B.
test(A <> B) := A < B.

不-为什么呢？ 为什么有时可以包括运算符，有时却不能包括在内？ 我该如何test(A != B) := A > B.

我在sicstus下工作。

Answer 1

符号!= ， <>和:=在Prolog中不是运算符。 您需要使用op/3指令使它们成为运算符。 在解析代码之前，Prolog必须看到操作员声明。

字符序列!=在Prolog中不是标记，因此您需要用单引号将其引起来。

:- op(700, xfx, '!=').
:- op(700, xfx, <>).
:- op(1100, xfx, :=).

test(A '!=' B) := A > B.
test(A <> B) := A < B.

上面定义了带有两个子句的谓词。 这些子句没有任何主体，谓词的名称为:=及其对等2 。 它与以下内容完全相同：

:=(test('!='(A,B)), >(A,B)).
:=(test(<>(A,B)), <(A,B)).