Compilation and rule-based optimization framework for datalog.  Includes an RA compiler.