Soufflé

This is a simple example of Soufflé.

.decl edge(x:number, y:number)
.input edge

.decl path(x:number, y:number)
.output path

path(x, y) :- edge(x, y).
path(x, y) :- path(x, z), edge(z, y).

example.dl

1	2
2	3

edge.facts

1	2
2	3
1	3

paths.csv

souffle -F. -D. example.dl

0.2s

Bash