{"repo":"EvgSkv/logica","free":true,"listed":false,"github":"https://github.com/EvgSkv/logica","clone":"git clone https://github.com/EvgSkv/logica.git","description":"Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.","language":"Jupyter Notebook","stars":2129,"topics":["datalog","sql","bigquery","language","prolog-implementation","prolog","logica","postgresql","sqlite","trino"],"license":"Apache-2.0","category":"databases-storage","readme_excerpt":"Logica: language of Big Data Logica is an open source declarative logic programming language for data manipulation. Logica is a successor to Yedalog, a language created at Google earlier. Why? Logica is for engineers, data scientists and other specialists who want to use logic programming syntax when writing queries and pipelines for databases and datawarehouses. Logica programs run on BigQuery, Postgres and SQLite. Logica compiles to SQL and gives you access to the power of SQL ecosystem with the convenience of logic programming syntax. This is useful because SQL engines are magnitudes more powerful than state of the art native logic programming engines. For example, BigQuery is a distributed datawarehouse and thus logic programs written in Logica can be easily parallelized onto thousands of servers. Postgres and SQLite are among most popular databases, they are capable of processing substantial volumes of data right on your machine. We encourage you to try Logica, especially if you already use logic programming and need more computational power, or you already have data in BigQuery, PostgreSQL or SQLite, or you want to learn logic programming and apply it to processing of Big Data. Support for more SQL dialects and engines is coming in the future. I have not heard of logic programming. What is it? Logic programming is a declarative programming paradigm where the program is written as a set of logical statements. Logic programming was developed in academia from the late 60s.","default_branch":null,"files":null,"tree":[],"storefront":"/r/EvgSkv","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/EvgSkv/logica/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}