Draupnir

An on-disk, distributed datalog engine powered by ring theory