wake up goals the same order they were suspended.
This commit is contained in:
parent
4b91f13ee1
commit
a9647b0321
@ -92,8 +92,8 @@
|
||||
|
||||
'$execute_woken_system_goals'([]).
|
||||
'$execute_woken_system_goals'([G|LG]) :-
|
||||
'$execute_woken_system_goal'(G),
|
||||
'$execute_woken_system_goals'(LG).
|
||||
'$execute_woken_system_goals'(LG),
|
||||
'$execute_woken_system_goal'(G).
|
||||
|
||||
%
|
||||
% X surely was bound, otherwise we would not be awaken.
|
||||
|
Reference in New Issue
Block a user