如何在swi-prolog中导入运算符？

在swi-prolog中，可以使用op/3谓词来导入运算符。op/3的语法如下：

op(Precedence, Type, Operator)

其中，Precedence表示运算符的优先级，可以是一个整数，较小的值表示较高的优先级；Type表示运算符的类型，可以是xf、yf、fx、fy、xfx、xfy或yfx；Operator表示运算符的名称。

下面是一个例子，展示如何在swi-prolog中导入运算符：

% 导入运算符
:- op(500, xfx, is_equal).

% 定义规则
X is_equal Y :- X =:= Y.

% 使用运算符
?- 2 is_equal 2.
true.

在上面的例子中，我们使用op/3导入了一个名为is_equal的运算符，它的优先级为500，类型为xfx（即左结合的二元运算符）。然后，我们定义了一个规则X is_equal Y :- X =:= Y，该规则判断X和Y是否相等。最后，我们使用is_equal运算符进行了测试。

请注意，swi-prolog中已经预定义了一些常用的运算符，如算术运算符（+、-、*、/等）、比较运算符（=、==、<、>等）等。如果需要导入自定义的运算符，可以使用op/3谓词。