[trurl]

The LogicBlox platform is still in use and in active development at Infor. But yes, many of the principals have indeed left.

DOOP actually used LogicBlox before Souffle existed, but it is difficult to be competitive when Souffle doesn't need things like transactions, ACID, datasets larger than memory, incremental evaluation, etc.