Automatic Differentiation Using Constraint Handling Rules in Prolog #1 Post by dickler » Mon, Mar 26, 2018, 7:34 AM UTC Automatic Differentiation Using Constraint Handling Rules in Prologarxiv.org