Diamonds Are Forever: Stabilization Semantics for Unrestricted Aggregation and Recursion in Logica

Evgeny Skvortsov, Yilin Xia, Ojaswa Garg +2

Logica is an open-source logic programming language that compiles to SQL and runs on DuckDB, SQLite, PostgreSQL, and BigQuery. Unlike classic Datalog, it freely combines recursion…