1 2 3 4 5 6 7
.decl Edge(x: int32, y: int32) .decl A(x: int32, y: int32) .input Edge(IO="file", filename="Edge.csv", delimiter=",") .output A fixpoint { A(x, y) :- Edge(x, y). }