如何通过引用接受两个参数的规则来创建接受一个参数的规则?(初学者)

Question

我想创建以下规则：

rule2(X) :-
  is "true" if rule1(X,Y) is false.

---

所以规则 2 将为X输出一个"true"，如果 rule1 输出一个 "false" 表示X并且任何值Y

---

我希望这是有道理的。我是prolog的初学者。这很有趣，但我已经在这个问题上停留了几个小时！谢谢。

Answer 1

我建议使用逻辑上的not，+/1赞成!, fail的方法：

rule2(X):- + (rule1(X,_)).