Compositional Datalog on SQL: Relational Algebra of the Environment
I spent some time before making Datalogs that translated into SQL. https://www.philipzucker.com/tiny-sqlite-datalog/ There are advantages. SQL engines are very well engineered and commonly available. SQLite and DuckDB are a pretty great one-two punch. A new twist on how to do this occurred to me that seems very clean compared to my previous methods. Basically, the relational algebra style of SQL actually meshes with manipulating the Datalog body environments (sets of named variables bindings)