Fix retractall/1 predicate to retract both facts and rules

This commit is contained in:
Paulo Moura
2021-05-12 23:46:05 +01:00
parent 39aebd7144
commit fb29830521

View File

@@ -1016,7 +1016,7 @@ retract(Clause) :-
:- meta_predicate retractall(0).
retractall(Head) :-
retract((Head :- _)),
retract_clause(Head, _),
false.
retractall(_).