Automatic Differentiation in Prolog.

Tom Schrijvers Birthe van den Berg Fabrizio Riguzzi

Published in: Theory Pract. Log. Program. (2023)

Keyphrases

logic programming
semi automatic
programming language
fully automatic
real time
real world
decision making
objective function
computational complexity
general purpose
data driven