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

Merge pull request #958 from pmoura/fixes_for_retract_predicates

Browse Source 
Fixes for retract predicates
This commit is contained in:
Mark Thom
2021-05-13 23:18:36 -06:00
committed by GitHub
parent d219f0bdc6 88a2cfc5e1
commit 9bb1f4e6f8
1 changed files with 3 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/lib/builtins.pl
View File

@@ -985,13 +985,8 @@ retract_clause(Head, Body) :-
( Name == (:), ( Name == (:),
Arity =:= 2 -> Arity =:= 2 ->
arg(1, Head, Module), arg(1, Head, Module),
arg(2, Head, HeadAndBody), arg(2, Head, Head1),
( HeadAndBody = (F :- Body1) -> retract_module_clause(Head1, Body, Module)
true
; F = HeadAndBody,
Body1 = true
),
retract_module_clause(F, Body1, Module)
; '$no_such_predicate'(user, Head) -> ; '$no_such_predicate'(user, Head) ->
'$fail' '$fail'
; '$head_is_dynamic'(user, Head) -> ; '$head_is_dynamic'(user, Head) ->
@@ -1016,7 +1011,7 @@ retract(Clause) :-
:- meta_predicate retractall(0). :- meta_predicate retractall(0).
retractall(Head) :- retractall(Head) :-
retract((Head :- _)), retract_clause(Head, _),
false. false.
retractall(_). retractall(_).