aminechikhaoui··on Differential DatalogThere is already https://developer.logicblox.com/ but it's proprietary owned by Infor nowadays.