Definite clause grammars and symbolic differentiation bitsandtheorems.com 4 points by gsky 9 hours ago