smb 可以解释为什么这是**真实的**
Can smb explain why this is **true**
smb 可以解释为什么这是 true?
not(G).
not(G) :- G, !, fail.
这是真的，因为第一个子句是：
not(_).
你得到的代码很奇怪。 not 名称与其明显的声明含义不太相符。
smb 可以解释为什么这是 true?
not(G).
not(G) :- G, !, fail.
这是真的，因为第一个子句是：
not(_).
你得到的代码很奇怪。 not 名称与其明显的声明含义不太相符。