From 467fbe977d3a2c79b1ab82fa8b9886f849d2940b Mon Sep 17 00:00:00 2001 From: vsc Date: Sun, 2 Dec 2001 16:46:50 +0000 Subject: [PATCH] abolishall should succeed if there are no clauses. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@209 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- pl/preds.yap | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pl/preds.yap b/pl/preds.yap index e5658eb86..d38e3af58 100644 --- a/pl/preds.yap +++ b/pl/preds.yap @@ -331,8 +331,7 @@ retractall(V) :- !, '$retractall'(T,M) :- '$undefined'(T,M), functor(T,Na,Ar), - '$dynamic'(Na/Ar,M), !, - fail. + '$dynamic'(Na/Ar,M), !. '$retractall'(T,M) :- \+ '$is_dynamic'(T,M), !, functor(T,Na,Ar),