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

fix call to undefined halt/1.

Browse Source
This commit is contained in:
Vítor Santos Costa 2012-12-14 23:30:48 +00:00
parent 7c0c795518
commit 4d35c1f70a
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pl/boot.yap
View File

@ -153,6 +153,7 @@ true :- true.
/* main execution loop */ /* main execution loop */
'$read_toplevel'(Goal, Bindings) :- '$read_toplevel'(Goal, Bindings) :-
'$pred_exists'(read_history(_,_,_,_,_,_), user),
'$swi_current_prolog_flag'(readline, true), !, '$swi_current_prolog_flag'(readline, true), !,
read_history(h, '!h', read_history(h, '!h',
[trace, end_of_file], [trace, end_of_file],
@ -217,7 +218,7 @@ 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),
halt(0). ( '$pred_exists'(halt(_), user) -> halt(0) ; '$halt'(0) ).
'$enter_top_level' :- '$enter_top_level' :-
'$disable_docreep', '$disable_docreep',
'$run_toplevel_hooks', '$run_toplevel_hooks',
@ -228,7 +229,7 @@ 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),
halt(0). ( '$pred_exists'(halt(_), user) -> halt(0) ; '$halt'(0) ).
'$erase_sets' :- '$erase_sets' :-