Prolog如何跳过指定事实？以筛选Alice喜爱的非Fanta饮品为例

嘿，这个需求很清晰，我来给你拆解一下怎么用Prolog实现，顺便讲透背后的原理。

首先先明确你的知识库：

person(alice). person(mark). person(sally). 
likes(alice,coke). likes(alice,fanta). likes(alice,sprite). 
likes(mark,water). likes(mark,coffee). 
likes(sally,pepsi). 

直接可用的查询语句 #

要找出Alice喜爱的所有非Fanta饮品，你可以在Prolog解释器里运行这个查询：

?- likes(alice, Drink), Drink \= fanta.

运行后，解释器会返回以下结果（输入;可以触发回溯，获取下一个结果）：

Drink = coke;
Drink = sprite;
false.

实现方法与原理详解 #

这个查询的逻辑分为两步，完全利用了Prolog的事实匹配和回溯机制：

1. 匹配Alice的所有喜好 #

第一个子目标 likes(alice, Drink) 会遍历知识库中所有以alice为第一个参数的likes事实。Prolog的匹配机制会依次把Drink绑定到coke、fanta、sprite这三个值上——这就是回溯的基础：当一个匹配完成后，你可以通过;让Prolog回到这个子目标，尝试下一个可能的绑定。

2. 过滤掉Fanta #

第二个子目标 Drink \= fanta 是一个否定约束，它的作用是检查当前绑定的Drink是否不等于fanta：

• 如果Drink是coke，coke \= fanta为真，这个结果被保留，返回给你；
• 如果Drink是fanta，fanta \= fanta为假，这个子目标失败，Prolog会自动回溯到上一个子目标，放弃当前的fanta绑定，去寻找下一个likes(alice, Drink)的匹配；
• 当Drink绑定到sprite时，sprite \= fanta为真，结果被保留；
• 当所有likes(alice, Drink)的事实都遍历完后，没有更多匹配了，Prolog返回false表示查询结束。

补充：关于Prolog的否定运算符 #

这里用的\=/2是项不等比较，它检查两个项是否无法统一（unify）。如果你的需求是严格的字面不等，\=完全够用。另外还有\==/2运算符，它检查两个项是否完全相同（不进行统一），在这个场景下效果和\=一致，因为Drink已经绑定到具体的原子值了。

内容的提问来源于stack exchange，提问作者jakHunter