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

booting

Browse Source
This commit is contained in:
Vitor Santos Costa 2019-01-31 12:46:35 +00:00
parent f6b16ca505
commit b382c060e3
2 changed files with 25 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
C/yap-args.c
View File

@ -1208,7 +1208,7 @@ X_API void YAP_Init(YAP_init_args *yap_init) {
} }
LOCAL_consult_level = -1; LOCAL_consult_level = -1;
} }
Yap_do_low_level_trace=1;
YAP_RunGoalOnce(TermInitProlog); YAP_RunGoalOnce(TermInitProlog);
if (yap_init->install && Yap_OUTPUT_STARTUP) { if (yap_init->install && Yap_OUTPUT_STARTUP) {
Term t = MkAtomTerm(Yap_LookupAtom(Yap_OUTPUT_STARTUP)); Term t = MkAtomTerm(Yap_LookupAtom(Yap_OUTPUT_STARTUP));
@ -1217,7 +1217,6 @@ X_API void YAP_Init(YAP_init_args *yap_init) {
YAP_RunGoalOnce(g); YAP_RunGoalOnce(g);
} }
Yap_do_low_level_trace=0;
end_init(yap_init); end_init(yap_init);
} }

46
pl/boot.yap
View File

@ -38,6 +38,7 @@
system_module(Mod, SysExps) :- system_module(Mod, SysExps) :-
system_module(Mod, SysExps, []). system_module(Mod, SysExps, []).
system_module(_Mod, _SysExps, _Decls) :- !.
system_module(_Mod, _SysExps, _Decls) :- system_module(_Mod, _SysExps, _Decls) :-
% '$new_system_predicates'(SysExps), % '$new_system_predicates'(SysExps),
fail. fail.
@ -75,7 +76,28 @@ private(_).
(not)/1, (not)/1,
repeat/0, repeat/0,
throw/1, throw/1,
true/0]). true/0]).
:- system_module( '$_init', [!/0,
':-'/1,
'?-'/1,
[]/0,
extensions_to_present_answer/1,
fail/0,
false/0,
goal_expansion/2,
goal_expansion/3,
otherwise/0,
term_expansion/2,
version/2],
[
'$do_log_upd_clause'/6,
'$do_log_upd_clause0'/6,
'$do_log_upd_clause_erase'/6,
'$do_static_clause'/5],
'$system_module'/1]).
:- use_system_module( '$_boot', ['$cut_by'/1]).
% be careful here not to generate an undefined exception.. % be careful here not to generate an undefined exception..
@ -143,26 +165,6 @@ print_boot_message(Type,Error,Desc) :-
:- '$new_multifile'('$full_clause_optimisation'(_H, _M, _B0, _BF), prolog). :- '$new_multifile'('$full_clause_optimisation'(_H, _M, _B0, _BF), prolog).
:- '$new_multifile'('$exec_directive'(_,_,_,_,_), prolog). :- '$new_multifile'('$exec_directive'(_,_,_,_,_), prolog).
:- system_module( '$_init', [!/0,
':-'/1,
'?-'/1,
[]/0,
extensions_to_present_answer/1,
fail/0,
false/0,
goal_expansion/2,
goal_expansion/3,
otherwise/0,
term_expansion/2,
version/2],
[
'$do_log_upd_clause'/6,
'$do_log_upd_clause0'/6,
'$do_log_upd_clause_erase'/6,
'$do_static_clause'/5], [
'$system_module'/1]).
:- use_system_module( '$_boot', ['$cut_by'/1]).
%:- start_low_level_trace. %:- start_low_level_trace.
@ -216,7 +218,7 @@ print_boot_message(Type,Error,Desc) :-
'$execute_command'(EG,EM,VL,Pos,Con,C) ; '$execute_command'(EG,EM,VL,Pos,Con,C) ;
% do term expansion % do term expansion
'$expand_term'(C, Con, EC), '$expand_term'(C, Con, EC),
( var(EC) -> ( nonvar(EC) ->
'$yap_strip_module'(EC, EM2, EG2) '$yap_strip_module'(EC, EM2, EG2)
; ;
'$yap_strip_module'(C, EM2, EG2) '$yap_strip_module'(C, EM2, EG2)