An open-source logic programming language that compiles Datalog-style programs to SQL for BigQuery, Postgres, and SQLite.