SWI-Prologにはグローバルメモリ上からデータを削除する組み込み述語が二つある。一つが、retract/1で、もう一つがabolish/2。例えば、まず以下のようにグローバルメモリにデータを書き込んだとき ?- assert(hoge). true. ?- listing(hoge). :- dynamic hoge…