Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3

This commit is contained in:
Vítor Santos Costa 2012-10-22 21:38:59 +01:00
commit db39b48410

View File

@ -701,21 +701,23 @@ export_resource(Resource) :-
export_resource(P) :- export_resource(P) :-
P = F/N, atom(F), number(N), N >= 0, !, P = F/N, atom(F), number(N), N >= 0, !,
'$current_module'(Mod), '$current_module'(Mod),
( recorded('$module','$module'(File,Mod,ExportedPreds),R) -> ( recorded('$module','$module'(File,Mod,ExportedPreds),R) ->
erase(R), erase(R),
recorda('$module','$module'(File,Mod,[P|ExportedPreds]),_) recorda('$module','$module'(File,Mod,[P|ExportedPreds]),_)
; ; prolog_load_context(file, File) ->
recorda('$module','$module'(user_input,Mod,[P]),_) recorda('$module','$module'(File,Mod,[P]),_)
; recorda('$module','$module'(user_input,Mod,[P]),_)
). ).
export_resource(P0) :- export_resource(P0) :-
P0 = F//N, atom(F), number(N), N >= 0, !, P0 = F//N, atom(F), number(N), N >= 0, !,
N1 is N+2, P = F/N1, N1 is N+2, P = F/N1,
'$current_module'(Mod), '$current_module'(Mod),
( recorded('$module','$module'(File,Mod,ExportedPreds),R) -> ( recorded('$module','$module'(File,Mod,ExportedPreds),R) ->
erase(R), erase(R),
recorda('$module','$module'(File,Mod,[P|ExportedPreds]),_) recorda('$module','$module'(File,Mod,[P|ExportedPreds]),_)
; ; prolog_load_context(file, File) ->
recorda('$module','$module'(user_input,Mod,[P]),_) recorda('$module','$module'(File,Mod,[P]),_)
; recorda('$module','$module'(user_input,Mod,[P]),_)
). ).
export_resource(op(Prio,Assoc,Name)) :- !, export_resource(op(Prio,Assoc,Name)) :- !,
op(Prio,Assoc,prolog:Name). op(Prio,Assoc,prolog:Name).