diff --git a/pl/preds.yap b/pl/preds.yap index 35bda2ab5..dbe2dec75 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -388,7 +388,8 @@ retract(C) :- '$retract2'(H,M,B) :- '$is_log_updatable'(H, M), !, - '$log_update_retract'(H,M,B). + '$log_update_clause'(H,M,B,R), + erase(R). '$retract2'(H,M,B) :- '$is_dynamic'(H,M), !, '$recordedp'(M:H,(H:-B),R), erase(R). @@ -465,7 +466,8 @@ retractall(V) :- '$retractall_lu'(T,M) :- - '$log_update_retract'(T,M,_), + '$log_update_clause'(T,M,_,R), + erase(R), fail. '$retractall_lu'(_,_).