Posts tagged "datalog"

• Oct 23, 2022 A guide for writing fact extractors for Datalog
• Jul 24, 2021 Static analysis using Haskell and Datalog