adapation to 6.0.5 (builtin intersection)

This commit is contained in:
Fabrizio Riguzzi
2010-05-14 17:38:47 +02:00
parent fd9f4efe0b
commit 9be29a90ee
5 changed files with 1 additions and 46 deletions

View File

@@ -1521,15 +1521,6 @@ extend(_G,[],[],CompSub,CompSub):-!.
extend(G,Cand,Not,CS,CSOut):-
extend_cycle(G,Cand,Not,CS,CSOut).
intersection([],_Y,[]).
intersection([H|T],Y,[H|Z]):-
member(H,Y),!,
intersection(T,Y,Z).
intersection([_H|T],Y,Z):-
intersection(T,Y,Z).
/* set(Par,Value) can be used to set the value of a parameter */
set(Parameter,Value):-
retract(setting(Parameter,_)),