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

move away from SICStus: do not check all attvars.

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-03-12 08:25:35 +00:00
parent 30a4f3cfe7
commit 613dfb0d95
1 changed files with 16 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
pl/corout.yap
View File

@ -37,18 +37,32 @@
'$show_frozen_goals'(Level))).
'$project_and_delayed_goals'(G,LGs) :-
attributes:all_attvars(LAV),
'$attributed'(G, LAV),
% attributes:all_attvars(LAV),
LAV = [_|_], !,
% SICStus compatible step,
% just try to simplify store by projecting constraints
% over query variables.
'$project_attributes'(LAV, G),
% now get a list of frozen goals.
attributes:all_attvars(NLAV),
'$attributed'(G, NLAV),
% attributes:all_attvars(NLAV),
'$get_goalist_from_attvars'(NLAV, LGs).
'$project_and_delayed_goals'(_,[]).
'$attributed'(G, Vs) :-
term_variables(G, LAV),
'$find_att_vars'(LAV, Vs).
'$check_atts'([], []).
'$check_atts'(V.LAV, V.Vs) :-
attvar(V), !,
'$check_atts'(LAV, Vs).
'$check_atts'(_.LAV, Vs) :-
'$check_atts'(LAV, Vs).
%
% wake_up_goal is called by the system whenever a suspended goal
% resumes.