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.