Technology

Google introduced Logica, a novel open-source Logic Programming language

Google has introduced a new open-source programming language. It is called Logica and is the successor to the Yedalog language. The Logica language is focused on translating programs into SQL and manipulating data.

Google notes that Logica is much more concise and supports clean and reusable abstraction mechanisms that SQL does not. In addition, it supports modules and imports, can be used from an interactive Python notebook and makes testing queries natural and easy.

Join us on Telegram

It supports modules and imports, it can be used from an interactive Python notebook and it even makes testing your queries natural and easy. The Logica tutorial is already available on Google.

Good programming is about creating small, understandable, reusable pieces of logic that can be tested, given names, and organized into packages that can later be used to construct more useful pieces of logic. SQL resists this workflow.

Although you can encapsulate certain repeated computations into views and functions, the syntax and support for these can vary among implementations, the notions of packages and imports are generally nonexistent, and higher-level constructions (e.g. passing a function to a function) is impossible.

Logic programming languages solve problems of SQL by using the syntax of mathematical propositional logic rather than the natural English language. The language of formal logic was designed by mathematicians specifically to make an expression of complex statements easier and suits this purpose much better than natural language. Logica extends classical Logic programming syntax further, most notably with aggregation, hence the name, which stands for

//Via


Trending News

To Top