Hacker GitHub

← All repos

EvgSkv/logica

View on GitHub ↗ ★ 2,150 Jupyter Notebook

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

9 mentions on Hacker News by 8 people: 1 story, 8 comments · first 2021-04-14 · latest 2024-07-18

Mentions per year 9 mentions · busiest year 2021 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …Distance in graph: https://colab.research.google.com/drive/1sOCODHqN0ruxZSx_L-V... Github repo: https://github.com/EvgSkv/logica
    comment by evgskv · 2024-07-18 · in Ask HN: What's Prolog like in 2024?
  2. …[3]: http://www.fdi.ucm.es/profesor/fernan/des/ [4]: http://webdam.inria.fr/Alice/ [5]: https://github.com/evgskv/logica
    comment by felixyz · 2024-07-18 · in Ask HN: What's Prolog like in 2024?
  3. …to SQL, which is the ability to do constraint solving in a nearly native fashion inside SQL. [1] https://github.com/EvgSkv/logica
    comment by yowlingcat · 2023-10-22 · in Using Prolog as the AST
  4. That's right. And btw Logica is also open source: https://github.com/evgskv/logica
    comment by evgskv · 2022-11-29 · in Mangle, a programming language for deductive database programming
  5. Looks pretty cool. I'd be interested if the README had a comparison with Google's Logica ( https://github.com/EvgSkv/logica )
    comment by metta2uall · 2022-01-24 · in PRQL – A proposal for a better SQL
  6. …is a lot more amenable to fast query plans & runtimes than prolog. This part is especially cool: https://github.com/EvgSkv/logica/blob/main/compiler/dialects...
    comment by lmeyerov · 2021-07-01 · in PathQuery, Google's Graph Query Language
  7. …/www.postgresql.org/docs/9.1/queries-with.html Logica instead seems to create tables and drop tables? https://github.com/EvgSkv/logica/blob/main/examples/Logica_e... It looks like Logica code isn't actually translated to a (large) SQL…
    comment by quelltext · 2021-04-14 · in Logica, a novel open-source logic programming language
  8. …was no mention of anything other than BigQuery in the front-matter but looks like it's in there: https://github.com/EvgSkv/logica/blob/main/compiler/dialects...
    comment by anentropic · 2021-04-14 · in Logica, a novel open-source logic programming language