Get the latest tech news
Dyna – Logic Programming for Machine Learning
About the Dyna Programming Language Dyna is a programming language designed by and for machine learning researchers. Dyna builds on the paradigm of logic programming languages such as Datalog and Prolog.
This allowed the Dyna 1.0 compiler to generate programs that loop over the entire domain of an expression---much like a scan of a database table. In this work, we are investigating how reinforcement learning and heuristic search strategies can be used to automatically make a program more efficient. Tim Vieira, Matthew Francis-Landau, Nathaniel Wesley Filardo, Farzad Khorasani, and Jason Eisner In Workshop on Machine Learning and Programming Languages (2017) Rigid tree automata with isolation.
Or read this on Hacker News
