leave system mode

This commit is contained in:
Vítor Santos Costa 2013-03-03 20:26:48 -06:00
parent 725617cedd
commit 874fc97970

View File

@ -175,6 +175,14 @@ trace :-
print_message(informational,debug(trace)), print_message(informational,debug(trace)),
'$meta_creep'. '$meta_creep'.
'$do_trace' :-
nb_getval('$trace',on), !.
'$do_trace' :-
nb_setval('$trace',on),
'$start_debugging'(on),
print_message(informational,debug(trace)),
'$creep'.
notrace :- notrace :-
nodebug. nodebug.
@ -284,6 +292,7 @@ debugging :-
'$execute_nonstop'(G,Mod). '$execute_nonstop'(G,Mod).
'$spy'([Mod|G]) :- '$spy'([Mod|G]) :-
'$in_system_mode', !, '$in_system_mode', !,
'$exit_system_mode',
'$execute_nonstop'(G,Mod). '$execute_nonstop'(G,Mod).
'$spy'([Mod|G]) :- '$spy'([Mod|G]) :-
CP is '$last_choice_pt', CP is '$last_choice_pt',
@ -492,6 +501,7 @@ debugging :-
'$spycall'(G, M, _, _) :- '$spycall'(G, M, _, _) :-
nb_getval('$debug_jump',true), nb_getval('$debug_jump',true),
!, !,
'$exit_system_mode',
'$execute_nonstop'(G,M). '$execute_nonstop'(G,M).
'$spycall'(G, M, _, _) :- '$spycall'(G, M, _, _) :-
( (
@ -771,8 +781,10 @@ debugging :-
'$execute_creep_dgoal'(G). '$execute_creep_dgoal'(G).
'$execute_dgoal'('$execute_nonstop'(G,M)) :- '$execute_dgoal'('$execute_nonstop'(G,M)) :-
'$exit_system_mode',
'$execute_nonstop'(G,M). '$execute_nonstop'(G,M).
'$execute_dgoal'('$execute_clause'(G, M, R, CP)) :- '$execute_dgoal'('$execute_clause'(G, M, R, CP)) :-
'$exit_system_mode',
'$execute_clause'(G, M, R, CP). '$execute_clause'(G, M, R, CP).
'$execute_creep_dgoal'('$execute_nonstop'(G,M)) :- '$execute_creep_dgoal'('$execute_nonstop'(G,M)) :-