👩💻 Join our community of thousands of amazing developers!
The list of languages that can interface with Soufflé keeps growing. Haskell, a high level functional programming language, can now also easily interact with Soufflé via the souffle-haskell library. Motivating example To show how easy it is to call Datalog from Haskell, let’s write a program that can check if one point in a graph is reachable from another: .decl edge(n: symbol, m: symbol) .decl reachable(n: symbol, m: symbol) .input edge .output reachable reachable(x, y) :- edge(x, y). reachab...