CLIPS
 
ECLIPSE
 
sumoo[n                   
 
  :no:sum:no: