無法縮進（）？

Question

我：

:- dynamic blah/2. 
retractall(blah(_,_)). 

但我仍然得到：

No permission to modify static procedure `retractall/1' 

如何刪除等等所有發生的（）？ 順便說一句，它在swipl控制檯工作！

感謝

Answer 1

謂詞retractall/1是一個標準內置謂詞，因此，在大多數系統中，不能由用戶重新定義。在你的代碼中，你試圖爲這個謂詞定義一個事實，因此是錯誤信息。但在控制檯上，您將其用作目標，即您只需調用內置謂詞即可。

如果你想確保有對blah/2謂詞沒有條款時加載源文件，然後使用替代initialization/1標準指令：

:- initialization(retractall(blah(_, _))).