CoCalc -- delete.pl

📚 The CoCalc Library - books, templates and other resources

¹³²⁹⁴⁶ views
License: OTHER

1
remove([(X,A)|L],X,[(X,ANew)|L]) :- A>0, ANew is A-1.
2
remove([X|L],Y,[X|L1]) :- remove(L,Y,L1).
3

4