“不等于"登录Visual Prolog? [英] "Not equal" sign in Visual Prolog?

问题描述

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

I can't find any documentation on "not equal" sign in Visual Prolog. Please provide the right solution of this problem:

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).

推荐答案

我不知道您所说的不等于"是什么意思(不统一吗?)，但是您可以尝试以下方法:

I don't know what do you mean by "not equal" (does not unify?), but you could try these:

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

这篇关于“不等于"登录Visual Prolog?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！