From: Paulo Moura <pmoura@logtalk.org>
Date: Wed, 12 May 2021 22:46:05 +0000 (+0100)
Subject: Fix retractall/1 predicate to retract both facts and rules
X-Git-Tag: v0.9.0~66^2~1
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=fb298305210ba08c51b3411bb4a36ec1a16811d2;p=scryer-prolog.git

Fix retractall/1 predicate to retract both facts and rules
---

diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl
index d96e0a16..89a50e7d 100644
--- a/src/lib/builtins.pl
+++ b/src/lib/builtins.pl
@@ -1016,7 +1016,7 @@ retract(Clause) :-
 :- meta_predicate retractall(0).
 
 retractall(Head) :-
-   retract((Head :- _)),
+   retract_clause(Head, _),
    false.
 retractall(_).