邏輯非（）在序言

Question

好吧試圖解決一個簡單的Prolog的問題，我們有一個給定的PROGRAMM

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

和給定的查詢

not(a). 

這顯然會返回false，問題是我們如何改變Programm而不是查詢，讓它返回true。

Answer 1

您可以編寫條款a:-false。 然後當你查詢不（a）。它返回true。