logica
logica copied to clipboard
Logica is a logic programming language that compiles to SQL. It runs on Google BigQuery, PostgreSQL and SQLite.
It will take time to implement type inference. In the meanwhile we could have a simpler check: when a predicate is called (including databases) and arguments are used, verify that...
We would like to infer types of arguments of the predicates, including reading types of database columns. Then we can display a native error for the user, rather then compiling...
It would be really nice if there was a Python eDSL so that I could write queries in Python, which I have much better tooling for. 😄
[Clickhouse](https://clickhouse.tech/) is a columnar store that can be queried with SQL.
I am very curious about experience of newcomers with the tutorial. I am sure it can be improved to make onboarding easier.
Logica is a wonderful alternative to SQL, and I would like to connect to SQLite/PostgreSQL database in a `l` script for data query. However currently there seems to be limited...
We should add support for running programs on MySQL database.
Hi, ``` %%logica Engineers @Engine("sqlite"); Employee(name: "Alice", role: "Product Manager"); Employee(name: "Bob", role: "Engineer"); Employee(name: "Caroline", role: "Engineer"); Employee(name: "David", role: "Data Scientist"); Employee(name: "Eve", role: "Data Scientist"); Engineers(..r) :-...
Hi There, Didn't get much of documentation on this, how can I use it against Redshift DB through Query/Athena.
hi, do logica have subset function? I want to compare one set to another, and return a boolean value showing whether the two sets are equal or subset? eg: SUBSET({...