Differentiation in Prolog and F# A Comparative Case Study of Logic and Functional Programming Syntaxes May 10, 2017