Skip to main content
FlowLog
Tutorial
Playground
GitHub
Flow
Log
Playground
batch
Mode
Batch
Incremental
Workers
-O
0 (none)
1 (SIP)
2 (planning)
3 (SIP + planning)
Server
Program
Input Facts (2)
Load example...
Reachability
Transitive Closure
Pointer Analysis (Andersen)
Connected Components
.in .decl Source(id: number) .input Source.csv .decl Arc(x: number, y: number) .input Arc.csv .out .decl Reach(id: number) .rule Reach(y) :- Source(y). Reach(y) :- Reach(x), Arc(x, y).
▷
Run
▷
Run a program to see results
Write your Datalog program, add input facts, and click Run