Propositional implication and equivalence.

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.88k stars 95 forks source link

Closed EvgSkv closed 5 months ago