1 2 3 4 5 6
.decl Edge(x: int32, y: int32) .decl Reach(x: int32, y: int32) .input Edge(IO="file", filename="Edge.csv", delimiter=",") .output Reach Reach(x, y) :- Edge(x, y). Reach(x, z) :- Edge(x, y), Reach(y, z).