可以解释为什么这是**真的**

Question

可以解释为什么这是 true ？

not(G).
not(G) :- G, !, fail.

Answer 1

这是真的，因为第一个条款是：

not(_).

你到那里的代码很奇怪。名称not不太符合其显而易见的陈述含义。