如何解决Prolog中含否定操作的查询匹配失败问题？

问题场景 #

要实现“筛选绿色但非圆形的物体”，初始编写的代码及执行结果如下：

初始代码 #

is_good(Item) :-
    not(round(Item)),
    green(Item).

round(melon).
round(umbrella).
round(ball).

green(melon).
green(bow).

执行结果 #

is_good(bow).
true        %% "bow"是正确答案
is_good(melon).
false
is_good(X). %% 尝试查找符合条件的物体
false       %% 查询失败

可以看到，手动检查单个物体能得到正确结果，但查询变量X时直接返回失败。而去掉否定逻辑、筛选“绿色且圆形物体”的版本则能正常返回结果：

无否定的对比代码 #

is_good(Item) :-
    round(Item),
    green(Item).

round(melon).
round(umbrella).
round(ball).

green(melon).
green(bow).

对比执行结果 #

is_good(bow).
false
is_good(melon).
true            %% "melon"是正确答案
is_good(X).     %% 尝试查找符合条件的物体
X = melon       %% 查询成功

问题原因 #

Prolog中的not/1（或标准写法\+/1）实现的是**否定失败（Negation as Failure）**逻辑：只有当目标无法被证明为真时，否定才会返回真。

在初始代码中，查询is_good(X)时，Item是未绑定的变量：

1. 先执行not(round(Item))，Prolog会尝试证明round(Item)，此时会把Item绑定为melon、umbrella、ball中的任意一个，导致round(Item)成功，因此not(round(Item))直接失败。
2. 由于否定分支失败，Prolog不会继续执行后续的green(Item)，最终整个查询返回失败。

解决方案 #

调整目标顺序，先绑定变量再执行否定操作：先通过green(Item)把Item绑定到所有绿色物体，再对每个已绑定的Item检查是否非圆形。

修正后的代码 #

is_good(Item) :-
    green(Item),
    not(round(Item)).

round(melon).
round(umbrella).
round(ball).

green(melon).
green(bow).

修正后的执行结果 #

is_good(X).
X = bow.

原理说明 #

1. 先执行green(Item)，Prolog会依次将Item绑定为melon和bow两个绿色物体。
2. 对每个已绑定的Item执行not(round(Item))：
   • 当Item=melon时，round(melon)为真，否定后结果为假，该分支被排除。
   • 当Item=bow时，round(bow)没有对应的事实，无法被证明为真，因此否定后结果为真，符合条件，返回X=bow。

标准写法建议 #

推荐使用ISO Prolog标准的\+/1代替not/1，两者逻辑完全一致：

is_good(Item) :-
    green(Item),
    \+ round(Item).

内容的提问来源于stack exchange，提问作者Илья Ефимов