如何通过引用带有两个参数的规则来创建一个接受一个参数的规则？ （初学者）

Question

我想创建以下规则：

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

---

因此，如果rule1为X输出“false”并且任何值X

，则rule2将为Y输出“true”

---

我希望这是有道理的。我是prolog的初学者。这很有趣，但我已经坚持这个问题好几个小时了！感谢。

Answer 1

我建议使用逻辑not，\+/1支持!, fail方法：

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