1

我想创建以下规则：

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

所以 rule2 将输出一个“true” for X，如果 rule1 输出一个“false” forX和任何值Y

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

4

1 回答 1

1

我建议使用逻辑不\+/1支持一种!, fail方法：

rule2(X):- \+ (rule1(X,_)).
于 2012-11-15T00:40:34.520 回答