Prolog中的逻辑非（）

Question

好的是试图解决一个简单的Prolog问题，我们有一个给定的程序

a.
f(X) :- f(X).

和给定的查询

not(a).

显然会返回false，问题是我们如何更改Programm而不是查询，让它返回true。

Answer 1

您可以编写条款a:-false。 然后当你不查询（a）。它返回true。