fix break/1

This commit is contained in:
Vitor Santos Costa 2013-07-22 10:52:49 -05:00
parent 38a804db1e
commit 1c2e17f86a

View File

@ -219,7 +219,8 @@ true :- true.
get_value('$top_level_goal',GA), GA \= [], !, get_value('$top_level_goal',GA), GA \= [], !,
set_value('$top_level_goal',[]), set_value('$top_level_goal',[]),
'$run_atom_goal'(GA), '$run_atom_goal'(GA),
( '$pred_exists'(halt(_), user) -> halt(0) ; '$halt'(0) ). '$nb_getval'('$break',BreakLevel,fail),
( BreakLevel \= 0 -> true ; '$pred_exists'(halt(_), user) -> halt(0) ; '$halt'(0) ).
'$enter_top_level' :- '$enter_top_level' :-
'$run_toplevel_hooks', '$run_toplevel_hooks',
prompt1(' ?- '), prompt1(' ?- '),
@ -229,7 +230,8 @@ true :- true.
nb_setval('$debug_run',off), nb_setval('$debug_run',off),
nb_setval('$debug_jump',off), nb_setval('$debug_jump',off),
'$command'(Command,Varnames,_Pos,top), '$command'(Command,Varnames,_Pos,top),
( '$pred_exists'(halt(_), user) -> halt(0) ; '$halt'(0) ). '$nb_getval'('$break',BreakLevel,fail),
( BreakLevel \= 0 -> true ; '$pred_exists'(halt(_), user) -> halt(0) ; '$halt'(0) ).
'$erase_sets' :- '$erase_sets' :-