Google has unveiled the open source Logica programming language, a logic programming language designed to “solve problems of SQL” by using syntax of mathematical propositional logic rather than natural language.
Introduced on April 12 as a successor to Google’s Yedalog language, Logica is a Datalogic-like logic language. Meant for engineers, data scientists, and other specialists, it compiles code to SQL and runs on the Google BiqQuery cloud-based data warehouse, with experimental support for PostgreSQL and SQLite. But Logica is more concise and supports reusable abstractions unlike SQL. It also supports modules and imports, can be used from an interactive Python notebook, and makes testing queries easy and natural, Google developers wrote in a blog post.