Google публикува език за логическо програмиране Logica

Google представи нов език за програмиране с декларативна логика, Logica, предназначен за манипулиране на данни и превод на програми в SQL. Новият език е насочен към онези, които искат да използват синтаксиса на логическото програмиране, когато пишат заявки към бази данни. Понастоящем полученият SQL код може да бъде изпълнен в хранилището на Google BigQuery или в СУБД на PostgreSQL и SQLite, поддръжката за които все още е експериментална. В бъдеще се планира да се разшири броят на поддържаните SQL диалекти. Кодът на проекта е написан на Python и е публикуван под лиценза Apache 2.0.

Logica продължава развитието на друг разработен от Google език за обработка на данни, Yedalog, и предоставя ниво на абстракция, което не е налично в стандартния SQL. Заявките в Logica са програмирани под формата на набор от логически изрази. Поддържа модули, импортиране и възможност за използване на Logica от интерактивната обвивка на Jupyter Notebook. Например, за да генерирате резюме на хората, които най-често се споменават в новините за 2020 г., можете да използвате следната програма Logica за достъп до базата данни GDELT: @OrderBy(Mentions, “mentions desc”); @Limit(Споменавания, 10); Mentions(person:, mentions? += 1) distinct :- gdelt-bq.gdeltv2.gkg(persons:, date:), Substr(ToString(date), 0, 4) == “2020”, the_persons == Разделяне (persons, ";"), лице в the_persons; $ logica mentions.l стартирайте Mentions +—————-+—————-+ | лице | брой_споменавания | +—————-+—————-+ | доналд тръмп | 3077130 | | Лос Анджелис | 1078412 | | Джо Байдън | 1054827 | | Джордж Флойд | 872919 | | борис джонсън | 674786 | | Барак Обама | 438181 | | владимир путин | 410587 | | Бърни Сандърс | 387383 | | Андрю Куомо | 345462 | | Лас Вегас | 325487 | +—————-+—————-+

Писането на сложни заявки в SQL води до необходимостта от писане на тромави многоредови вериги, които не са очевидни за разбиране, пречат на повторното използване на части от заявката и усложняват поддръжката. За типични повтарящи се изчисления SQL може да използва изгледи и функции, но те не поддържат операции за импортиране и не осигуряват гъвкавостта на езиците на високо ниво (например не можете да предавате функция на функция). Logica ви позволява да съставяте програми от малки, разбираеми и многократно използвани логически блокове, които могат да бъдат тествани, свързани с конкретни имена и групирани в пакети, които могат да се използват като част от други проекти.

Източник: opennet.ru