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

instantiate Module in definition of retract/1 (#1392)

Browse Source
This commit is contained in:
Mark Thom
2022-04-13 20:31:16 -06:00
parent d8cf0f320d
commit 7595ec16e5
1 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/lib/builtins.pl
View File

@@ -971,7 +971,8 @@ call_module_retract(Head, Body, Name, Arity, Module) :-
retract_module_clause(Head, Body, Module) :- retract_module_clause(Head, Body, Module) :-
( var(Head) -> ( var(Head) ->
throw(error(instantiation_error, retract/1)) throw(error(instantiation_error, retract/1))
; callable(Head), functor(Head, Name, Arity) -> ; callable(Head),
functor(Head, Name, Arity) ->
( '$no_such_predicate'(Module, Head) -> ( '$no_such_predicate'(Module, Head) ->
'$fail' '$fail'
; '$head_is_dynamic'(Module, Head) -> ; '$head_is_dynamic'(Module, Head) ->
@@ -1012,7 +1013,8 @@ call_retract(Head, Body, Name, Arity) :-
retract_clause(Head, Body) :- retract_clause(Head, Body) :-
( var(Head) -> ( var(Head) ->
throw(error(instantiation_error, retract/1)) throw(error(instantiation_error, retract/1))
; callable(Head), functor(Head, Name, Arity) -> ; callable(Head),
functor(Head, Name, Arity) ->
( Name == (:), ( Name == (:),
Arity =:= 2 -> Arity =:= 2 ->
arg(1, Head, Module), arg(1, Head, Module),
@@ -1032,7 +1034,10 @@ retract_clause(Head, Body) :-
retract(Clause0) :- retract(Clause0) :-
loader:strip_module(Clause0, Module, Clause), loader:strip_module(Clause0, Module, Clause),
( Clause \= (_ :- _) -> ( Clause \= (_ :- _) ->
Head = Clause, loader:strip_module(Clause, Module, Head),
( var(Module) -> Module = user
; true
),
Body = true, Body = true,
retract_module_clause(Head, Body, Module) retract_module_clause(Head, Body, Module)
; Clause = (Head :- Body) -> ; Clause = (Head :- Body) ->