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

perform true goal expansion from top level goals

Browse Source
This commit is contained in:
Vítor Santos Costa 2013-11-05 22:29:28 +00:00
parent 917d5ad75b
commit a3c9684714
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pl/boot.yap
View File

@ -1239,7 +1239,7 @@ catch_ball(C, C).
'$execute_outside_system_mode'(V,M,_) :-
var(V), !,
call(M:G).
call(M:V).
'$execute_outside_system_mode'(M:G, _M, CP) :- !,
'$execute_outside_system_mode'(G, M, CP).
'$execute_outside_system_mode'((G1,G2), M, CP) :- !,
@ -1268,7 +1268,7 @@ catch_ball(C, C).
(
'$$save_by'(CP1),
'$exit_system_mode',
'$execute_nonstop'(G,M),
'$call'(G, CP, M:G, M),
'$$save_by'(CP2),
(CP1 == CP2 -> ! ; ( true ; '$exit_system_mode', fail ) ),
'$enter_system_mode'