export patch from Paulo Moura
This commit is contained in:
parent
7fa7c8b92a
commit
43c3c89f30
@ -704,8 +704,9 @@ export_resource(P) :-
|
||||
( recorded('$module','$module'(File,Mod,ExportedPreds),R) ->
|
||||
erase(R),
|
||||
recorda('$module','$module'(File,Mod,[P|ExportedPreds]),_)
|
||||
;
|
||||
recorda('$module','$module'(user_input,Mod,[P]),_)
|
||||
; prolog_load_context(file, File) ->
|
||||
recorda('$module','$module'(File,Mod,[P]),_)
|
||||
; recorda('$module','$module'(user_input,Mod,[P]),_)
|
||||
).
|
||||
export_resource(P0) :-
|
||||
P0 = F//N, atom(F), number(N), N >= 0, !,
|
||||
@ -714,8 +715,9 @@ export_resource(P0) :-
|
||||
( recorded('$module','$module'(File,Mod,ExportedPreds),R) ->
|
||||
erase(R),
|
||||
recorda('$module','$module'(File,Mod,[P|ExportedPreds]),_)
|
||||
;
|
||||
recorda('$module','$module'(user_input,Mod,[P]),_)
|
||||
; prolog_load_context(file, File) ->
|
||||
recorda('$module','$module'(File,Mod,[P]),_)
|
||||
; recorda('$module','$module'(user_input,Mod,[P]),_)
|
||||
).
|
||||
export_resource(op(Prio,Assoc,Name)) :- !,
|
||||
op(Prio,Assoc,prolog:Name).
|
||||
|
Reference in New Issue
Block a user