小编mar*_*ser的帖子

我试图写一条规则来告诉“ A”何时可能成为“ B”的兄弟，但是我遇到了一个错误，一个警告是第一个错误说：no permission to modify static procedure (\= )/2 而警告说：Singleton variables [A,B]。我知道单例变量意味着该变量只能使用一次，但是我无法找到一种方法来修复代码，但是我不了解第一个错误，因为我是Prolog初学者，因此它可能恰好是我的一个愚蠢错误找不到。

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