logica
logica copied to clipboard
EvgSkv
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
Really curious if there are known OSS Java bindings or an ORM. The googles have not been much help. Thanks in advance!
Instead of running the predicate of a program against a storage engine such as SQLite, I'd like to just output the raw SQL query. It would be nice if I...
`psql` tests have been used to help implement duckdb. This issue aims to record all test related issues 1. For test `psql_arg_min_max_k_test.l`, it should be `Test(opt: "Min", arg_opt: TestArgMin(), arg_opt_k:...
After manually converting the grammar shown here https://github.com/EvgSkv/logica/blob/main/docs/syntax.md to an EBNF understood by https://github.com/GuntherRademacher/rr we can have a nice navigable railroad diagram (see bellow). And looking at the railroad diagram...
I am having an issue with sqlite database. I just installed fresh logica and sqlite3 (pip install logica, apt install sqlite3) on Debian. ``` root@80dcb49fb4fc:/src# cat foo.l @Engine("sqlite"); Foo(id:"E1", name:"Foo...
Currently, Logica embeds OpenAI as the default backend for AI-powered inference within rules — a move toward the NeuroSymbolic paradigm. Example below ``` Species(name: "lion"); Species(name: "tiger"); Species(name: "crocodile"); Species(name:...
It would be useful to have a comprehensive list of @ annotations and their functionality. I'm unsure if there's a way for me to contribute to the wiki, but I'd...
The "@Flag" annotation is listed as an annotating predicate in `/compiler/universe.py`, but from what I can tell it doesn't actually get used anywhere. If this is the case, it should...
Hello, I'm trying to write some scripts where I wanted to try using logica because the whole `WITH AS` syntax of plain sql got a bit heavy While looking through...
Hello, I just tried going through the tutorial. I've never used Colab before, and was really surprised when it asked to log into my Google account. I gave it permission,...
