为什么这个带有 `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 限制为多个值。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）