factorized answer
This commit is contained in:
parent
f11b0518a8
commit
d85dc3fd5c
@ -270,7 +270,8 @@ call_residue(Goal,Module,Residue) :-
|
||||
|
||||
delayed_goals(G, Vs, NVs, Gs) :-
|
||||
project_delayed_goals(G),
|
||||
copy_term([G|Vs], [_|NVs], Gs).
|
||||
term_factorized([G|Vs], [_|NVs], Gs).
|
||||
% copy_term([G|Vs], [_|NVs], Gs).
|
||||
|
||||
project_delayed_goals(G) :-
|
||||
% SICStus compatible step,
|
||||
|
@ -524,8 +524,9 @@ true :- true.
|
||||
'$clean_ifcp'(CP),
|
||||
NCP is NCP2-NCP1
|
||||
;
|
||||
copy_term_nat(V, NV),
|
||||
LGs = [],
|
||||
% copy_term_nat(V, NV),
|
||||
% LGs = [],
|
||||
term_factorized(V, NV, LGs),
|
||||
NCP = 0
|
||||
).
|
||||
|
||||
|
Reference in New Issue
Block a user