Auto Bayes

Stratego -- Strategies for Program Transformation

AutoBayes is a program synthesis for the domain of statistical data analysis. Stratego/XT is used in combination with AutoBayes to (1) provide concrete syntax for schemas used in synthesis and (2) to optimize synthesized programs.

http://ase.arc.nasa.gov/autobayes/ : AutoBayes website, including webinterface
PrologTools : used to provide concrete syntax for schemas.
Paper: Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax