I thought Datalog did get integrated into some "proper" storage engines. It is a subset of Prolog, and expressively more like SQL, and designed for query optimi

I thought Datalog did get integrated into some "proper" storage engines. It is a subset of Prolog, and expressively more like SQL, and designed for query optimisation etc. It was certainly taken seriously for databases for quite a while.