www.dyna.org

     
A logic-based language for dynamic programming. Equational inference rules derive theorems with associated values, e.g. probabilities in statistical AI. Supports prioritization, pruning and parameter training. Compiles into fast, handy C++ classes. Developed within an open-source project.
Alexa traffic report for WWW.DYNA.ORG

URLs from www.dyna.org: