diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

document abolish and make sure that assert(m:(H:-B)) treats m as source 

module.
This commit is contained in:
Vitor Santos Costa 2014-10-09 10:46:09 +01:00
parent ed6f7f8573
commit 48053694c7
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pl/preds.yap
View File

@ -711,10 +711,10 @@ retractall(V) :-
/** @pred abolish(+ _P_,+ _N_)
Deletes the predicate with name _P_ and arity _N_. It will remove
both static and dynamic predicates.
Completely delete the predicate with name _P_ and arity _N_. It will
remove both static and dynamic predicates. All state on the predicate,
including whether it is dynamic or static, multifile, or
meta-predicate, will be lost.
*/
abolish(Mod:N,A) :- !,
'$abolish'(N,A,Mod).
@ -934,8 +934,8 @@ dynamic_predicate(P,Sem) :-
'$expand_clause'((H:-B),C1,C2,Mod,HM) :- !,
strip_module(Mod:H, HM, H1),
'$current_module'(M),
'$module_expansion'((H1:-B), C1, C2, HM, M, M),
% Mod has scope over the full clause
'$module_expansion'((H1:-B), C1, C2, HM, Mod, Mod),
( get_value('$strict_iso',on) ->
'$check_iso_strict_clause'(C1)
;