Skip to main content
FlowLog
Tutorial
Playground
GitHub
Flow
Log
Playground
batch
Mode
Batch
Incremental
Workers
Profile
Program
Input Facts (0)
Load example...
Reachability
Transitive Closure
Connected Components
Shortest Paths (SSSP)
Same Generation
Pointer Analysis (Andersen)
Context-Sensitive Alias (CSPA)
Galen (join order)
▷
Run
▷
Run a program to see results
Write your Datalog program, add input facts, and click Run