LogicBlox more or less did that, though restricted to Datalog with various extensions. It's a commercial system though and not publicly available, except for online training material. See https://developer.logicblox.com/playground/ (since you probably don't know what to do, it's best to go to https://developer.logicblox.com/content/docs4/tutorial/repl/... )