Automatic Differentiation in Prolog

Authors detail a Prolog based approach to automatic differentiation of functions. A future outcome of this present work is the creation of Prolog based Neural Networks.