extra live should not be needed ...

This commit is contained in:
Vítor Santos Costa 2011-05-09 22:03:35 +01:00
parent 026616963c
commit bbf83cb34d

View File

@ -60,8 +60,7 @@ done.
delete(Fact) :- delete(Fact) :-
nb_getval(meld_queue, Queue), nb_getval(meld_queue, Queue),
retract(meld_program:Fact), retract(meld_program:Fact),
nb_queue_enqueue(Queue, deleted(Fact)), nb_queue_enqueue(Queue, deleted(Fact)).
live.
pop(Goal) :- pop(Goal) :-
nb_getval(meld_queue, Queue), nb_getval(meld_queue, Queue),
@ -123,6 +122,7 @@ sum(Skel,Arg,Goal) :-
arg(Arg, Goal, A), arg(Arg, Goal, A),
AN is A0+A, AN is A0+A,
arg(Arg, NGoal, AN), arg(Arg, NGoal, AN),
format('S ~w~n',[Goal]),
push(NGoal). push(NGoal).
sum(_Skel,_Arg,Goal) :- sum(_Skel,_Arg,Goal) :-
format('S ~w~n',[Goal]), format('S ~w~n',[Goal]),