search

EvgSkv / logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
https://logica.dev
Apache License 2.0
1.89k stars 95 forks source link

Add checks of predicate arguments #219

Open EvgSkv opened 2 years ago

EvgSkv commented 2 years ago

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 the predicate has corresponding columns.