序言 : find something not referenced in another predicate

Question

假设我有一个数据库

p1(red). 
p1(green).

p2(green).

我如何找到 p1 中但不在 p2 中的所有东西(即红色)

Answer 1

How do I find all the things that are in p1 but not in p2 (ie. red)

在这个特别简单的例子中，只需要问:

?- p1(X), \+ p2(X).
   X = red
;  false.

但是，对于更复杂的程序，该方案不能轻易扩展。许多语义问题必须得到解决。喜欢...

...非单调性。当您添加事实 p2(red) 时，查询将失败。所以这个程序本质上是非单调的。

...实例化不足。当术语更复杂而不是基础时，就会发生这种情况。

...不一致。当您想在程序中同时使用 CLP(FD) 等约束时，就会发生这种情况。 \+ p2(X) 的意外失败可能是结果。