Automatic Differentiation in Prolog

Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi. Automatic Differentiation in Prolog. TPLP, 23(4):900-917, July 2023. [doi]

Abstract

Abstract is missing.