2 ms·Automatic Differentiation Using Constraint Handling Rules in Prolog (2017)3 points by carapace 7y ago