Evgeny Skvortsov

I think adding an error for unused variable makes total sense. We already throw an error if a predicate is imported but not used, treating variables the same way seems...

Hello! We need to check membership in the second list for each element in the first list. Here is the implementation and a test: ``` @Engine("sqlite"); # Returns 1 if...

Yes, thanks for pointing this out! Unfortunately records aren't supported with `psql` engine yet. We need a better error message for this.

Hello, Redshift/Athena isn't supported at this moment. Fully supported Engines as of September 2021 are * BigQuery, * Trino, * SQLite, "Fully supported" means that basic syntax, including lists and...

Apparently this is because integer division in SQLite results in an integer number. To make example work we need to do it as follows: ``` %%logica Even @Engine("sqlite"); Z(x) :-...

I've added basic support for Presto and Trino, which could in turn run on Spark. If you have a chance to try, let me know your experience. I'll need to...

As [Prerequisites](https://github.com/EvgSkv/logica#prerequisites) section states we need to install Google Cloud SDK to execute on BigQuery. I agree that on-boarding should be made easier. Keeping the issue open, as we need...

That's right, you can access fields of the record with `.`, just as in Python, C++, etc. But you don't have to do aliasing, given the table as you described,...

Logica compiles to UDFs only predicates defined with `-->` notation. It's not a huge burgen on the user willing to use Clickhouse not to use such notation. Furthermore, it's not...

Yeah, that's right, UDFs were not a limitation. I didn't work with Clickhouse, so I don't know what would be challenges. Biggest challenge with full support of Postgres is that...