News for hackers. Stuff that matters.
Re:Soufflé: A Datalog Synthesis Tool for Static Analysis by jitl on Thursday December 01, 2022 @10:26AM (#33817470)
Sure; you can do most Datalog things in SQL and most SQL things in Datalog. But I find it much clearer to express deductive reasoning in Datalog. I built a toy Datalog-to-CTE compiler at https://perceval.jake.tl if you want to play with some examples of the equivalence.

There are no comments on this comment yet.