Prolog 如何通过引用包含两个参数的规则来创建包含一个参数的规则？（初学者）

我要创建以下规则：

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

---

因此，如果规则1为

X

和任何值

Y

输出“false”，则规则2将为

X

输出“true”

---

---

我希望这是有道理的。我是

prolog

的初学者。这很有趣，但我已经在这个问题上纠缠了好几个小时了！谢谢。

我建议使用逻辑not，

\+/1

来代替

！，失败

进近：

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

---

我建议使用逻辑not，

\+/1

，而使用

！，失败

进近：

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