Old/New Code

Old Code

agenda_search_1(C,Cfinal,N,A,Ans) :-
   node_expand(N,NodeList),
   agenda_putl(A,NodeList,NewA),
   agenda_search(C,Cfinal,NewA,Ans).

New Code

agenda_search_1(EXCL,C,Cfinal,N,A,Ans) :-
   node_state_of(N,S),
   member(S,EXCL),
   !,
   agenda_search(EXCL,C,Cfinal,A,Ans).

agenda_search_1(EXCL,C,Cfinal,N,A,Ans) :-
   node_state_of(N,S),
   node_expand(N,NodeList),
   agenda_putl(A,NodeList,NewA),
   agenda_search([S|EXCL],C,Cfinal,NewA,Ans).