TY - RPRT TI - Automatic Differentiation in Prolog AU - Tom Schrijvers AU - Birthe van den Berg AU - Fabrizio Riguzzi PY - 2023 UR - https://arxiv.org/abs/2305.07878 ID - 2305.07878 ER -