TY - RPRT TI - Automatic Differentiation using Constraint Handling Rules in Prolog AU - Samer Abdallah PY - 2017 UR - https://arxiv.org/abs/1706.00231 ID - 1706.00231 ER -