Logica – Declarative logic programming language for data

This is going to be a hell in production. Someone is going to write queries in this new language and then wonder why the produced MySQL queries in production take 45 minutes to execute.

There is a standard method of optimization - breaking predicate into smaller ones and saving intermediates into database.

Typically program runs efficiently, but when optimization is needed - you can do it by breaking up the predicate.