.decl edge(x : number, y : number) edge(1,2). edge(2,3). .output edge(IO=stdout) .decl path(x : number, y :number) path(x,y) :- edge(x,y). path(x,z) :- edge(x,y), path(y,z). .output path Run Share

• More about souffle https://souffle-lang.github.io/
• My WASM branch