Super HN

   Definite clause grammars and symbolic differentiation (bitsandtheorems.com) 3 points by gsky 4 minutes ago