蛋奶酥 此存储库提供了Haskell绑定，可使用执行分析。 有趣的事实：该库结合了功能编程（Haskell），逻辑编程（Datalog / Souffle）和命令式/ OO编程（C / C ++）。 激励榜样 首先，让我们编写一个数据日志程序，该程序可以检查一个点是否可以从另一个点到达： // We define 2 data types: .decl edge(n: symbol, m: symbol) .decl reachable(n: symbol, m: symbol) // W