logica
Logic programming for AI agents: Datalog-family language compiling to optimized SQL
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.