Automatic differentiation in Prolog

DOI10.1017/S1471068423000145MaRDI QIDQ7027189zbMATH OpenFDO

Authors Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S1471068423000145

zbMATH Keywords

automatic differentiationprobabilistic programmingProlog

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Symbolic computation and algebraic computation (68W30)

Cites work

• A pearl on SAT and SMT solving in Prolog
• A simple automatic derivative evaluation program
• Algorithm = logic + control
• An open ended tree
• Backjumping is Exception Handling
• scientific article; zbMATH DE number 1971503 (Why is no real title available?)
• scientific article; zbMATH DE number 7102019 (Why is no real title available?)
• scientific article; zbMATH DE number 3198931 (Why is no real title available?)
• Inference in probabilistic logic programs with continuous random variables
• Optimal union-find in Constraint Handling Rules
• PROGRAMMING PEARL: Enhancing a search algorithm to perform intelligent backtracking

This page was built for publication: Automatic differentiation in Prolog

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027189)