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(Mentions, 10); Mentions(person:, mentions? += 1) distinct :- gdelt-bq.gdeltv2.gkg(persons:, date:), Substr(ToString(date), 0, 4) == "2020", the_persons == Split(persons, ";"), person in the_persons; $ logica mentions.l run Mentions +—————-+—————-+ | person | mentions_count | +—————-+—————-+ | donald trump | 3077130 | | los angeles | 1078412 | | joe biden | 1054827 | | george floyd | 872919 | | boris johnson | 674786 | | barack obama | 438181 | | vladimir putin | 410587 | | bernie sanders | 387383 | | andrew cuomo | 345462 | | las vegas | 325487 | +—————-+—————-+

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

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