为什么这个带有 `not` 的规则总是返回 false？

如何解决为什么这个带有 `not` 的规则总是返回 false？

daughter(anna,vera).
daughter(vera,oleg).
daughter(olga,pavel).
daughter(olga,alla).
daughter(alla,lidia).
man(oleg).
man(victor).
man(pavel).
not(P) :- (call(P) -> fail ; true).
woman(X) :- not(man(X)).

?- woman(X). 总是返回 false。 ?- man(X). 返回所有三个男性条目。我也试过 woman(X) :- \+man(X). 但某些语法似乎不是问题。

如果我尝试检查某个人，它会起作用：?- woman(anna). 返回 true。

我对 prolog 还很陌生，甚至无法说明这里有什么问题。

更新。我希望所有不是男性的人都被归类为男性。问题是 - 为什么我不能做 woman(X) 并获得所有非男性？

?- woman(anna).
true.

?- woman(X).
false.

?- man(X).
X = oleg ;
X = victor ;
X = pavel.

UPD2。解决方案

正如评论中指出的那样，问题是由 floundering 引起的。我需要 woman(X) 规则来实现此规则：mothers_names(X,Y) :- not(man(X)),daughter(Y,X).

简而言之，反转查询有效：mothers_names(X,Y) :- daughter(Y,X),not(man(X)). 因为第一个谓词使 not(man(X)) 中的 X 限制为多个值。