215
215
add_vars_no_duplicates(Exps,[],Exps).
216
216
add_vars_no_duplicates(Exps,[id(H,C)|T],T1):-
217
217
lists:member(id(H,_)-_,Exps),!,
222
223
add_vars_no_duplicates(Exps,T,T1).
223
224
add_vars_no_duplicates(Exps,[H|T],[H-_|T1]):-
224
225
add_vars_no_duplicates(Exps,T,T1).