From fb298305210ba08c51b3411bb4a36ec1a16811d2 Mon Sep 17 00:00:00 2001 From: Paulo Moura Date: Wed, 12 May 2021 23:46:05 +0100 Subject: [PATCH] Fix retractall/1 predicate to retract both facts and rules --- src/lib/builtins.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(_). -- 2.54.0