LogicBlox

http://arxiv.org/abs/1403.5645