逻辑非（）在序言

Question

好吧试图解决一个简单的Prolog的问题，我们有一个给定的PROGRAMM

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

和给定的查询

not(a). 

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

Answer 1

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