Prolog - 什么样的句子不能表达

Question

我想知道你不能用 Prolog 表达什么样的句子？我一直在研究逻辑编程，并了解到与 Prolog 所基于的明确子句逻辑(Horn 子句)相比，一阶逻辑更具表现力。这对我来说是一个很难理解的话题。

因此，例如，可以表达以下句子:

For all cars, there does not exist at least 1 car without an engine

如果有，还有其他不能表达的句子吗？如果不是，为什么？

Answer 1

您可以使用 Prolog 使用否定 (\+) 直接表达您的句子。

例如:

car(bmw).
car(honda).
...
car(toyota).

engine(bmw, dohv).
engine(toyota, wenkel).

no_car_without_engine:-
  \+(
    car(Car),
    \+(engine(Car, _))
  ).

如果每辆车都有引擎，no_car_without_engine/0 过程将成功，否则失败。