LogicBlox (http://logicblox.com/ http://logicblox.com/) is using Datalog for real-world enterprise software development. At present, the implementation is far

LogicBlox (http://logicblox.com/ http://logicblox.com/) is using Datalog for real-world enterprise software development. At present, the implementation is far more advanced than any other. See http://www.logicblox.com/technical-reports/LB1201_LeapfrogTriejoin.pdf http://www.logicblox.com/technical-reports/LB1201_LeapfrogTr... for example.