prolog - Prologで異なるものを定義するにはどうすればよいですか?

Question

Prolog で 2 つの変数が等しくないことを定義するにはどうすればよいですか? 例えば ​​：

z is X and Y parent

X is male and Y is female

今、私は姉妹か兄弟を見つけたいと思っています。しかし、プロローグの結果は次のとおりです。

Y sister Y when parent have one child and not have X

今私は定義したい：

different(X,y).

Visual Prologの古いバージョンまたは他のバージョンのライブラリには「異なる」ものがあると思いますが、新しいVisual Prologではこれが見つかりません。私に何ができる？

Answer 1

Prolog で 2 つの変数が等しくないことを定義します。

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