operator-overloading - 尝试在 Prolog 中定义运算符时出现问题

Question

我用以下代码定义了一个 prolog 文件:

divisible(X, Y) :-
    X mod Y =:= 0.

divisibleBy(X, Y) :-
    divisible(X, Y).

op(35,xfx,divisibleBy).

Prolog 提示说

'$record_clause'/2: No permission to modify static_procedure `op/3'

我究竟做错了什么？我想定义一个 divisibleBy 运算符，它允许我编写如下代码:

4 divisibleBy 2

谢谢。

Answer 1

用

:- op(35,xfx,divisibleBy).

:-告诉 Prolog 解释器在加载文件时评估下一项，即进行谓词调用，而不是将其视为定义(在这种情况下是对 op/3 的重新定义)。