Re:Soufflé: A Datalog Synthesis Tool for Static Analysis
by zozbot234 on Thursday December 01, 2022 @06:27AM
(#33814942)
You can do "deductive" reasoning in SQL too, via views and possibly-recursive CTE's.
[ Parent
| on HN ]
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.