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

module stuff

This commit is contained in:
Vítor Santos Costa 2014-10-05 23:54:51 +01:00
parent 427c3ecf54
commit 733bb5ddc4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
pl/preds.yap
View File

@ -934,7 +934,8 @@ dynamic_predicate(P,Sem) :-
'$expand_clause'((H:-B),C1,C2,Mod,HM) :- !,
strip_module(Mod:H, HM, H1),
'$module_expansion'((H1:-B), C1, C2, Mod, HM),
'$current_module'(M),
'$module_expansion'((H1:-B), C1, C2, HM, BM, M),
( get_value('$strict_iso',on) ->
'$check_iso_strict_clause'(C1)
;