Prolog - 对于所有含义

Question

如何在 Prolog 中表示一个 for-all 的含义？

逻辑上：

x is given

For all a, b . [P(a) AND P(b) AND P(x) ---> Q(a,b)]

序言是

pred(X) :- ....

Answer 1

你可以把你的公式改写成

not exists A,B . not (p(A) and p(B) and p(X) -> q(A,B)).

进一步深入

not exists A,B . (p(A) and p(B) and p(X) and not q(A,B)).

然后在你的 Prolog 子句中使用它

pred(X) :- \+ ( p(A), p(B), p(X), \+q(A,B) ).

正如其他人所提到的，一些Prologs为此定义了一个简写，称为forall/2，所以你应该可以使用

pred(X) :- forall((p(A), p(B), p(X)), q(A,B)).