Visual Prolog中的「不等於」符號？

Question

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

在此先感謝！

Answer 1

我不知道什麼叫「不等於」（不統一？）的意思，但你可以嘗試這些：

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

Answer 2

第二變種文件所指出的Kaarel可以發現在this Visual Prolog reference頁面。

但是，您的代碼問題要深入一些。你需要等待非平等的測試，直到兩個方面人士和姐姐的約束，因此重新安排這樣的事情：

sister(Person, Sister) :- 
     parent(Person, Parent), 
     parent(Sister, Parent), 
     not(Person = Sister), 
     woman(Sister). 

還有語法中綴運算符「<>」，這意味着不同的（或不同）。一旦這兩個術語受到約束，這應該給出與檢查術語是否不能統一的結果相同的結果，這是上述結構的作用。