prolog - “Not equal”登录Visual Prolog吗？

我在Visual Prolog中找不到关于“不相等”标志的任何文档。请提供此问题的正确解决方案:

class predicates
        sister : (string Person, string Sister) nondeterm(o,o).
    clauses
        sister(Person, Sister) :-
            Person [not-equal-sign] Sister,
            parent(Person, Parent),
            parent(Sister, Parent),
            woman(Sister).

最佳答案

我不知道“不相等”是什么意思(不统一吗？)，但是您可以尝试以下方法:

X \= Y
not(X = Y)
\+ (X = Y)