A Weighted, Declarative, Logic Programming Language DynaAbout the Dyna Programming LanguageDyna is a programming language designed by and for machine learning researchers. History of the Dyna ProjectThe Dyna project was initially started in 2004 as an umbrella project to make a programming language for Machine Learning (ML) researchers. On the heels of Dyna 1.0 success, Dyna 2.0 was proposed to rectify many of the limitations of Dyna 1.0 (Paper). Dyna 1.0 requires everything to use the same semiring, Dyna 2.0 removes this restriction, instead, it has functions. Dyna 2.0 can also eagerly compute and memoize any expression to avoid recomputing the same expression many times.