rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

use strip module in retract/1, a meta-predicate

Browse Source
This commit is contained in:
Mark Thom
2021-11-24 19:00:52 -07:00
parent 10bb6ab3bb
commit b551ef315f
1 changed files with 8 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/lib/builtins.pl
View File

@@ -964,13 +964,14 @@ retract_clause(Head, Body) :-
:- meta_predicate retract(0). :- meta_predicate retract(0).
retract(Clause0) :- retract(Clause0) :-
strip_module(Clause0, Module, Clause), loader:strip_module(Clause0, Module, Clause),
( Clause = (Head :- Body) -> ( Clause \= (_ :- _) ->
true Head = Clause,
; Head = Clause, Body = true,
Body = true retract_module_clause(Head, Body, Module)
), ; Clause = (Head :- Body) ->
retract_clause(Module:Head, Body). retract_module_clause(Head, Body, Module)
).
:- meta_predicate retractall(0). :- meta_predicate retractall(0).