Dyna编程语言：为机器学习研究人员量身打造的声明式编程语言

Dyna 是一种专为机器学习研究人员设计的编程语言，它基于 Datalog 和 Prolog 等逻辑编程语言，但更进一步地支持灵活的执行顺序和加权规则。这意味着研究人员可以用几行代码高效地表达复杂的程序，而无需担心程序的执行方式，只需关注计算目标。从矩阵乘法到斐波那契数列、CKY 解析，甚至无限神经网络，Dyna 都能以简洁的代码实现。该项目始于 2004 年，旨在缩短数学概念与可执行代码之间的距离，经历了 Dyna 1.0 和 Dyna 2.0 的发展，不断改进并扩展其功能。目前的研究方向包括利用关系代数和术语重写技术构建灵活完整的实现，以及利用强化学习寻找最佳执行策略。