不知道怎么说男（X）不等于女（X）

Question

我在序言中有以下代码。

male(X).
female(X).
child(X,Y).

mother(X,Y) :- female(X), child(Y,X).

即使我将其测试为，此代码也输出yes 男性（X），母亲（X，Y）。

我不应该这样编码男（X）不等于女（X）吗？

我尝试过母亲（X，Y）：-女性（X），！，+男性（X），儿童（Y，X）。但这不起作用。