compiler-errors - 无权修改静态过程 (\= )/2 prolog 错误

Question

我试图编写一条规则来判断“A”何时可能成为“B”的兄弟，但我遇到了一个错误，并警告第一个错误:无权修改静态过程(\= )/2 警告说:Singleton variables [A,B]。我知道单例变量意味着该变量只使用一次，但我想不出一种方法来修复我的代码但是我不明白第一个错误我是 Prolog 初学者所以它可能恰好是一个愚蠢的错误我找不到。

 brother(A,B):-
    parent(X,A),
    parent(X,B),
    male(A).
 A \= B.

Answer 1

注意:@false 给出了正确的提示。这只是把答案作为答案。

OP 从中收到错误的原始代码:

brother(A,B):-
parent(X,A),
parent(X,B),
male(A).
A \= B.

和错误:

ERROR: xyz.pl:8:
    No permission to modify static procedure `(\=)/2'

按照@false 的说明更改缩进

brother(A,B):-
   parent(X,A),
   parent(X,B),
   male(A).  
A \= B.

对于 OP 来说，很明显有一个 句号 和 male(A)。 不应该在那里。

将代码更改为

brother(A,B):-
    parent(X,A),
    parent(X,B),
    male(A),
    A \= B.

删除了错误。