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 | +—————-+—————-+ | доналд тръмп | 3077130 | | лос анджелис | 1078412 | | джо байдън | 1054827 | | джордж флойд | 872919 | | борис джонсън | 674786 | | барак обама | 438181 | | владимир путин | 410587 | | берни сандърс | 387383 | | Андрю Куомо | 345462 | | лас вегас | 325487 | +—————-+—————-+

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

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