OILS / deps / source.medo / souffle / smoke-test.dl View on Github | oilshell.org

10 lines, 7 significant
1.decl edge(u: number, v: number)
2
3edge(1, 2).
4edge(2, 3).
5
6.decl path(u: number, v: number)
7.output path(filename="path.tsv")
8
9path(u, v) :- edge(u, v).
10path(u, w) :- edge(u, v), path(v, w).